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