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 examples/ex1.smt2 --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.1.0.tar.gz
(4.7 kB
view hashes)
Built Distribution
Close
Hashes for smt_portfolio-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ec18851c994eb6536be92649985a89c9ba03d198cba180dbf25312daedff8b5b |
|
MD5 | 5e3fc378096378f2efaa1f210a23c2c2 |
|
BLAKE2b-256 | 18d04c024e976da35f94838af791e8ca9be0392947d5295b624e027a7655492c |