benkeks / equivalence-fiddle

Tool for finding the best ways of equating / preordering / distinguishing finite process models.

https://equiv.io

Geek Repo

Github PK Tool