Skip to content

VeriFIT/smt-bench

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

smt-bench

SMT benchmarking platform

Installing Dependencies

pip3 install -r requirements.txt

Downloading benchmarks

To download SMT-LIB'24 benchmarks, run the download_smt_benchmarks.sh script.

Downloading tools

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...

How to run

Go to bench/ and use the script run_bench.sh (see --help for the instructions how to use it).

How to process the results

See the following repo.

About

SMT benchmarking platform

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published