/AlloyAnalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

Primary LanguageJava

Watchers