SMT benchmarking platform
pip3 install -r requirements.txt
To download SMT-LIB'25 benchmarks, run the download_smt_benchmarks.sh script (you need to have unzstd installed).
To download Z3, use pip3:
pip3 install z3-solver
For cvc5, go to the releases, download cvc5-Linux-x86_64-static.zip from the latest version and unpack it into bin/.
For both Z3-Noodler and Ostrich, clone the given tool into bin/ and build them following 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.