You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
There are decent native python implementation i have found but unfortunately they don't scale well to large graphs: https://github.com/fandreuz/BisPy
The text was updated successfully, but these errors were encountered:
Since i need this functionality for a project i am working on i would implement this anyways. This is more to see if this is something i can make a pull request for afterwords.
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.
There are decent native python implementation i have found but unfortunately they don't scale well to large graphs:
https://github.com/fandreuz/BisPy
The text was updated successfully, but these errors were encountered: