Issues

• Unique term for "initial partition"

  documentation
  fandreuz/BisPy#35 · Filter by author fandreuz opened on Jul 22, 2021

• Clean tests

  good first issuehelp wanted
  fandreuz/BisPy#31 · Filter by author fandreuz opened on Jul 13, 2021
  1

• Priority queue when we want to process in order of rank

  improvement
  fandreuz/BisPy#28 · Filter by author fandreuz opened on May 9, 2021

• Symbolic algorithm

  enhancement
  fandreuz/BisPy#27 · Filter by author fandreuz opened on May 7, 2021

• Dovier-Piazza-Policriti: Paige-Tarjan Bonic

  improvement
  fandreuz/BisPy#25 · Filter by author fandreuz opened on May 1, 2021

• Support k-bisimulation

  enhancement
  fandreuz/BisPy#24 · Filter by author fandreuz opened on Apr 30, 2021 · k-bisimulation

• Support labeled edges

  enhancement
  fandreuz/BisPy#23 · Filter by author fandreuz opened on Apr 30, 2021 · labeled-edges

• Use NumPy for lists that never change

  improvement
  fandreuz/BisPy#22 · Filter by author fandreuz opened on Apr 30, 2021

• Use vertexes_to_color in paige_tarjan notebook

  tutorial
  fandreuz/BisPy#21 · Filter by author fandreuz opened on Mar 28, 2021

• Implement Single Edge Deletion

  improvement
  fandreuz/BisPy#18 · Filter by author fandreuz opened on Mar 27, 2021