Installation of the LySatool (version 2.0)

The LySatool analysis requires the following software to be installed:

• New Jersey SML version 110.59
• The Succinct Solver version 2.0 (release October 17, 2003)

Follow the installation procedures at the respective websites.

Next, the LySatool itself should be installed:

• Download the LySatool version 2.0 distribution file lysatool-2.0.tar.gz from the LySatool homepage.
• Unpack the file lysatool-2.0.tar.gz, which creates a subdirectory called lysatool.
• Edit the file lysatool/sources.cm and set the path .../Formulas to point to the directory Formulas in your installation of the Succinct Solver (typically the directory HORN/Formulas in your Succinct Solver installation.)

Now, the installation is complete and the LySatool is ready to run. Consult the User's Guide for details on how to operate the LySatool.