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"
1 maintainer
Metadata
1 maintainer
Release files for smt-portfolio 1.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| smt_portfolio-1.0.0.tar.gz | 4.7 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| smt_portfolio-1.0.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 9.4 kB
Release files / smt_portfolio-1.0.0.tar.gz
| Download URL | smt_portfolio-1.0.0.tar.gz |
|---|---|
| Size | 4.7 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
49c034831476f2d4bfee3be9d2aa82b48edde2291b9cb2b44caa02944e86b367
|
|
BLAKE2b-256 checksum How to use checksums |
5ed88c99adb9e970ffc53180234ed082741edc1ea115249e0df903796580f561
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
python-httpx/0.27.0
|
Release files / smt_portfolio-1.0.0-py3-none-any.whl
| Download URL | smt_portfolio-1.0.0-py3-none-any.whl |
|---|---|
| Size | 4.7 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
9f38d5a186d86cc78f2871a521f9190a1f9e36f6ce7e68cbd67068ac088351b4
|
|
BLAKE2b-256 checksum How to use checksums |
35a9a6ab549c304d532ab4c4b333526f9574e073c9ce223db36685ed82986cb9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
python-httpx/0.27.0
|
