Alloy AnalyzerAlloy Analyzer 4 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 3. Compilation is now instantaneous for all but the largest models, and analysis is often a factor of 2-10 faster. We recommend that all users switch to this new version. There are a
