osiire/AlloyAnalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool. - osiire/AlloyAnalyzer