SMT benchmarking platform
pip3 install -r requirements.txt
To download SMT-LIB'24 benchmarks, run the download_smt_benchmarks.sh
script.
To download Z3, use pip3
:
pip3 install z3-solver
For cvc5, go to the releases, download cvc5-Linux-static.zip
from the latest version and unpack it into bin/
.
For both Z3-Noodler and Ostrich, clone the given tool into bin/
and follow the instructions in their READMEs.
Good luck finding other tools...
Go to bench/
and use the script run_bench.sh
(see --help
for the instructions how to use it).
See the following repo.