FBA is quite faster than PTA

fandreuz / BisPy

BisPy - Python bisimulation library

MIT License

14 stars 5 forks source link

Closed fandreuz closed 3 years ago

fandreuz commented 3 years ago

The situation should be reversed.

fandreuz commented 3 years ago

Fixed with a new ranking method, and shared graph_entities between FBA and PTA.