STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
XSTAMINA (New STAMINA/STORM GUI)

Compile Instructions

First, run ./CompileUiFiles.sh. You will need Qt5+ and uic (the Qt UI compiler). Then do the following to use cmake:

mkdir build
cd build
cmake ..
make -j$(nproc --all)

Dependencies:

  • Qt (version 5+)
    • uic: The Qt UI compiler
  • KF5 (KDE Frameworks 5)