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.0.1.tar.gz
(4.7 kB
view hashes)
Built Distribution
Close
Hashes for smt_portfolio-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 949024308e78bcbfc9b1cd28122dd4af0434bb8dd9870f01996b5ee254b85f4c |
|
MD5 | 53eb385d76b7fe33fd6c47defeff71a5 |
|
BLAKE2b-256 | 6e5484b40f39fbe8907248a3065a87c3c9cb1e21fc39cedd9c0d04b306b7e467 |