a knowledge anaLYSis toolset

Download

This is a DRAFT distribution. More examples and documentation will be added soon.
At the moment, LYS is only available under Linux. You need to have the following software already installed:

dot -- included in the Graphviz package.
Tcl/Tk -- usually already installed in Linux distributions. Type wish to check whether you have it.

Version from January 26, 2006: lys.tar.gz, userguide.ps

Note (September 11, 2006): Jan van Eijck noticed that lys.tar.gz from this page was missing some files. Indeed, this was the case :-( Uploaded the complete version of LYS (still from January 2006).

Installation

Unzip lys.tar.gz. A folder lys will be created. Go to the src subfolder and type make. The examples subfolder contains 3 ready-to-run scripts.

tar xvfz lys.tar.gz
cd lys/src
make

Set the LYSBIN environment variable to the binary directory of LYS, and add it to the system path. For instance,

export LYSBIN=/home/sorzan/lys/bin
export PATH=$PATH:$LYSBIN

(If you want to use the bisimulation reduction tool, make sure you've also installed the MCRL toolset. At CWI, simply add /ufs/mcrl/i686/bin to your path.)

Now you can run lys. Type, for instance,

cd lys/examples
lys &

A screenshot:

If you find bugs or have any suggestions for improvement, please send them to s.m.orzan@tue.nl

a knowledge anaLYSis toolset

Download

Installation

Links