The source code for the Alloy Analyzer and the SatLab framework is available under the GNU General Public License. Compilation instructions can be found in the INSTALL file in the Alloy source distribution.
The Alloy Analyzer utilizes several third-party packages whose code may be distributed under a different license (see the various LICENSE files in the distribution for details). We are extremely grateful to the authors of these packages for making their source code freely available.
Also, the parser for the Alloy language was generated using the JavaCC parser generator and JTB, the Java Tree Builder.