generic module for implementing automata in Alloy
Primary LanguageAlloyMIT LicenseMIT
No issues in this repository yet.