Installation

Python Environment

conda create -n tlsf python=3.12
conda activate tlsf
pip install -r requirements.txt

Our modified version of Bolt with safety/liveness mining support.

git clone git@github.com:SamKouteili/Bolt.git
cd Bolt
cargo build --release

Add to PATH:

export PATH="$PATH:/path/to/Bolt/target/release"

git clone https://github.com/phheim/issy.git
cd issy
stack build

Add to PATH:

export PATH="$PATH:/path/to/issy/.stack-work/install/.../bin"
# Or copy the binary:
cp $(stack path --local-install-root)/bin/issy /usr/local/bin/

# macOS
brew install cvc5

# Or download from https://github.com/cvc5/cvc5/releases

These are only needed for specific features:

conda activate tlsf
bolt --help
issy --help
cvc5 --version