This user guide is divided into the following sections:
1. Running the Alloy Analyzer
2. The Alloy Analyzer GUI
3. Performing Analyses on Alloy Models
4. New Syntactic Features in Alloy 4