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

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