quick guide

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 Features in Alloy 4