osiire/AlloyAnalyzer

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