An unofficial copy of MIT's Alloy Analyzer model checking tool. - View it on GitHub