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
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"
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-1.0.0.tar.gz
(4.7 kB
view details)
Built Distribution
File details
Details for the file smt_portfolio-1.0.0.tar.gz.
File metadata
- Download URL: smt_portfolio-1.0.0.tar.gz
- Upload date:
- Size: 4.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-httpx/0.27.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 49c034831476f2d4bfee3be9d2aa82b48edde2291b9cb2b44caa02944e86b367 |
|
| MD5 | db892be3a0ec334c9b8859fc77483325 |
|
| BLAKE2b-256 | 5ed88c99adb9e970ffc53180234ed082741edc1ea115249e0df903796580f561 |
File details
Details for the file smt_portfolio-1.0.0-py3-none-any.whl.
File metadata
- Download URL: smt_portfolio-1.0.0-py3-none-any.whl
- Upload date:
- Size: 4.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-httpx/0.27.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 9f38d5a186d86cc78f2871a521f9190a1f9e36f6ce7e68cbd67068ac088351b4 |
|
| MD5 | 93e7290ae89dde1f24f5d66743216dc5 |
|
| BLAKE2b-256 | 35a9a6ab549c304d532ab4c4b333526f9574e073c9ce223db36685ed82986cb9 |
