Playground for symbolic execution.
Slowbeast needs python3 and Z3 accesible from python (z3-solver). Alternatively, slowbeast can use PySMT solver layer (experimental).
Depends on sbt-llvmlite.
Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeast