An unofficial copy of MIT's Alloy Analyzer model checking tool.
Primary LanguageJava
No issues in this repository yet.