DanskDTU.dkIndexContactPhone book
http://www.imm.dtu.dk/upload/imm/immlogo_en.png
Technical University of Denmark
Technical University of Denmark

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.
Richard Petersens PladsDTU - Bygning 3212800 Lyngbyreception@imm.dtu.dkTlf. 4525 3351
Page maintained by Mikael Buchholtz (mib@imm.dtu.dk)