Tempest

Tempest is a synthesis tool for shields in probabilistic environments.

Dependencies

Tempest depends on the ‘Computer ARithmetic and Logic library’ - carl - for the probabilistic model checker Storm. Clone and build the libary:

git clone -b c++14-22.01 https://github.com/ths-rwth/carl.git /opt/carl
cd carl; mkdir build; cd build
make lib_carl

Tempest additionally, needs the following packages to be installed:

For Ubuntu/Debian-based systems:

sudo apt-get install build-essential git cmake libboost-all-dev libcln-dev libgmp-dev libginac-dev automake libglpk-dev libhwloc-dev libz3-dev libxerces-c-dev libeigen3-dev

For Apple Silicon systems:

brew install automake cmake boost gmp glpk hwloc z3 xerces-c

For Intel-based systems:

brew install cln ginac automake cmake boost gmp glpk hwloc z3 xerces-c

Installation

git clone https://github.com/PrangerStefan/TempestSynthesis
cd TempestSynthesis
mkdir build
cd build
cmake ..
make

Optionally, you can add Tempest to your path:

export PATH=$PATH:<tempest directory>/build/bin