sander-hergarten

Results 2 issues of sander-hergarten

### What is the expected enhancement? Compute the maximum bisimulation natively in rust. A native rust implementation of algorithms such as Paige-Tarjan would be significantly faster than anything in python....

enhancement