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

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

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

1.0.0

May 27, 2024

0.3.3

Dec 21, 2023

0.3.2

Nov 18, 2023

0.3.1

Nov 18, 2023

0.3.0

Nov 18, 2023

0.2.0

Nov 18, 2023

0.1.0

Nov 18, 2023

0.0.1

Nov 18, 2023

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 hashes)

Uploaded May 27, 2024 Source

Built Distribution

smt_portfolio-1.0.0-py3-none-any.whl (4.7 kB view hashes)

Uploaded May 27, 2024 Python 3

Hashes for smt_portfolio-1.0.0.tar.gz

Hashes for smt_portfolio-1.0.0.tar.gz
Algorithm	Hash digest
SHA256	`49c034831476f2d4bfee3be9d2aa82b48edde2291b9cb2b44caa02944e86b367`
MD5	`db892be3a0ec334c9b8859fc77483325`
BLAKE2b-256	`5ed88c99adb9e970ffc53180234ed082741edc1ea115249e0df903796580f561`

Hashes for smt_portfolio-1.0.0-py3-none-any.whl

Hashes for smt_portfolio-1.0.0-py3-none-any.whl
Algorithm	Hash digest
SHA256	`9f38d5a186d86cc78f2871a521f9190a1f9e36f6ce7e68cbd67068ac088351b4`
MD5	`93e7290ae89dde1f24f5d66743216dc5`
BLAKE2b-256	`35a9a6ab549c304d532ab4c4b333526f9574e073c9ce223db36685ed82986cb9`