This release is a pre-release and may not be stable for production use.
pySMT: A library for SMT formulae manipulation and solving
pySMT makes working with Satisfiability Modulo Theory simple.
Among others, you can:
Define formulae in a solver independent way in a simple and inutitive way,
Write ad-hoc simplifiers and operators,
Dump your problems in the SMT-Lib format,
Solve them using one of the native solvers, or by wrapping any SMT-Lib complaint solver.
Supported Theories and Solvers
pySMT provides methods to define a formula in Linear Real Arithmetic (LRA), Real Difference Logic (RDL), their combination (LIRA), Equalities and Uninterpreted Functions (EUF), Bit-Vectors (BV), and Arrays (A). The following solvers are supported through native APIs:
MathSAT (http://mathsat.fbk.eu/)
cvc5 (https://cvc5.github.io/)
Yices 2 (http://yices.csl.sri.com/)
PicoSAT (http://fmv.jku.at/picosat/)
Boolector (http://fmv.jku.at/boolector/)
Additionally, you can use any SMT-LIB 2 compliant solver.
PySMT assumes that the python bindings for the SMT Solver are installed and accessible from your PYTHONPATH.
Wanna know more?
Visit http://www.pysmt.org
2 maintainers
Metadata
2 maintainers
Release files for PySMT 0.9.7.dev436
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| pysmt-0.9.7.dev436.tar.gz | 309.6 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| pysmt-0.9.7.dev436-py2.py3-none-any.whl | Python 2, Python 3 | none | any | Details |
Total release size: 694.6 kB
Release files / pysmt-0.9.7.dev436.tar.gz
| Download URL | pysmt-0.9.7.dev436.tar.gz |
|---|---|
| Size | 309.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
605f74b6f1764225a3003531284f50a9e3641a0c2c5d1be5c2f2257d4241ebf8
|
|
BLAKE2b-256 checksum How to use checksums |
0d38648b61fae0306252dfd9742c67a998c1ac3afef73fe6431de21279188f54
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / pysmt-0.9.7.dev436-py2.py3-none-any.whl
| Download URL | pysmt-0.9.7.dev436-py2.py3-none-any.whl |
|---|---|
| Size | 385.0 kB |
| Tags | Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
ef4c3e4d71860220f3889e2333657489cade9aff3bc3fd1a41542ca0cd79943c
|
|
BLAKE2b-256 checksum How to use checksums |
fe3a30fa5f0b231bcbb181ee53095364e1b56c5ef3819bd00839ce8a7ba03153
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Security for PySMT 0.9.7.dev436
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
