thecopy/AlloyAnalyzer

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

Java