Currently, no version of STAMINA is packaged in any Linux distribution. At some point we will put it in the AUR (Arch User Repository) and the DUR (Debian User Repository). However, the easiest way to get STAMINA/STORM currently is to build it from source.
Building from Source
DependenciesFirst, you will need to install all of the dependencies required for STAMINA/STORM. The following dependency lists are supplied for Debian-based machines, Arch-based machines, and MacOS-based machines.
(Please note that most of these are also dependencies for STORM, hence why they are required)
Debian 11+/Ubuntu 22.04+ (or derivative)
sudo apt-get update && sudo apt-get upgrade sudo apt-get install build-essential libboost-all-dev git cmake clang
sudo pacman -Syuu base-devel git cmake boost-libs clang
brew install cln ginac automake cmake boost glibc clang
Manually Installing STORM (Required)
STORM must be installed manually for STAMINA to compile. This is so that STAMINA knows where to find the STORM shared objects and link against them. Please follow the guide here to install STORM.
Installing STAMINAOnce all dependencies (including STORM) have been installed, STAMINA is ready to be installed. You may obtain the source code from the master branch by directly cloning the GitHub repository or you may download a specific release from GitHub as well.
git clone https://github.com/fluentverification/stamina-storm stamina-stormAfterwards, you will need to invoke CMake to create a makefile and build STAMINA:
cd stamina-storm mkdir build && cd build export STAMINA_HOME=$(pwd) cmake .. -DCMAKE_CXX_COMPILER=$(which clang++) -DSTORM_PATH=$STORM_DIR make -j$(nproc --all)
Adding STAMINA to your PATH VariableIn order to access the sstamina executable from anywhere, you will have to add it to your user's "path" variable. The easiest way to do this is to add the following line to your shells resource file (generally .bashrc for Bash, and .zshrc for ZSH):
export STAMINA_HOME=path/to/stamina export PATH=$PATH:$STAMINA_HOME/build