A simple wrapper to run multiple SMT solvers in parallel.
Project description
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
bash 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"
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
smt_portfolio-0.3.0.tar.gz
(5.0 kB
view hashes)
Built Distribution
Close
Hashes for smt_portfolio-0.3.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e4edee90a2d7402f86aa3866e443eb468109801d455c9b14fa74f44d2264dbd2 |
|
MD5 | 0b50530de0eb5002e8aacce59ab894c5 |
|
BLAKE2b-256 | 20f47715808131444c0d688312b16b80126de8dffa3011000bddc146f72dcd11 |