Installation of the LySatool (version 2.0)
The LySatool analysis requires the following software to be installed:
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.