Alloy4

Version 4 of the Alloy Analyzer is a complete rewrite, offering improvements in robustness, performance and usability.

The new codebase is approximately a quarter of the size of the codebase of Alloy . Compilation is now instantaneous for all but the largest models, and analysis is often a factor of 2-10 faster.
The Alloy Analyzer is based on the new SAT-based model finder Kodkod.