smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel (currently supporting Z3 and CVC5).

---

Requirements

• Z3
• CVC5

Installation

pip install smt-portfolio

Usage

smt-portfolio --help

smt-portfolio --file examples/ex1.smt2 --z3 "-smt2 -T:5" --cvc5 "--quiet --lang smt --dag-thresh=0 --enum-inst --tlimit 5000"
cat examples/ex1.smt2 | smt-portfolio --z3 "-smt2 -T:5" --cvc5 "--quiet --lang smt --dag-thresh=0 --enum-inst --tlimit 5000"