# Installation

## Requirements

• java sdk
Note: both the java and javac command line tools must be in the PATH environment variable.
• python 2.7
• for Equivalence checking support: the CADP toolset .
• With Tomte we can learn a model. However to verify what we have learned is really equivalent to the SUT we use the CADP toolset .
• Note: the CADP toolset is not required for learning.

## Installation

First install the above required external tools.
Then just unzip the sut-0.41.zip file and add the bin/ subdirectory to your system's PATH environment variable. Optionally do a logout/login of your user session to let the new system PATH environment variable really apply.

For Linux/Mac
For example you can extract the zip-files in /usr/local/ and add the following lines to your system wide bash configuration script /etc/profile:

  export SUT_ROOT_PATH=/usr/local/sut-0.4   export PATH=$SUT_ROOT_PATH/bin:$PATH


Note: instead of a system install in /usr/local/ you could also do a personal install in your home directory. Then edit ~/.bashrc instead of /etc/profile.

For Windows
For example you can extract the zip-files in C:\Program Files and add the following to your system environment variables:

  SUT_ROOT_PATH=C:\Program Files\sut-0.4   PATH=...;%SUT_ROOT_PATH%\bin


Note: instead of a system install in C:\Program Files you could also do a personal install in your home directory. Then add above variables to your user environment variables instead of the system environment variables.

## Extra: CADP installation only needed for flattening/equivalence checking (linux only)

• install the CADP tool set
• put into your ~/.bashrc file the following lines:
    export CADP=/usr/local/cadp/
export CADP_ARCH="$CADP"/com/arch export PATH="$PATH:$CADP/bin.$CADP_ARCH:\$CADP/com"