sander-hergarten
Results
2
issues of
sander-hergarten
regarding #1075
### 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