Skip to main content
Python Software Foundation 20th Year Anniversary Fundraiser  Donate today!

A Python library for prototyping with SAT oracles

Project description

A Python library providing a simple interface to a number of state-of-art Boolean satisfiability (SAT) solvers and a few types of cardinality and pseudo-Boolean encodings. The purpose of PySAT is to enable researchers working on SAT and its applications and generalizations to easily prototype with SAT oracles in Python while exploiting incrementally the power of the original low-level implementations of modern SAT solvers.

With PySAT it should be easy for you to implement a MaxSAT solver, an MUS/MCS extractor/enumerator, or any tool solving an application problem with the (potentially multiple) use of a SAT oracle.

Details can be found at https://pysathq.github.io.

Project details


Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for python-sat, version 0.1.7.dev2
Filename, size File type Python version Upload date Hashes
Filename, size python_sat-0.1.7.dev2-cp27-cp27m-macosx_11_2_x86_64.whl (1.0 MB) File type Wheel Python version cp27 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp27 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp27 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp27 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp27 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp35 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp35 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp35-cp35m-manylinux2010_x86_64.whl (1.8 MB) File type Wheel Python version cp35 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp36 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp36 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp36-cp36m-manylinux2010_x86_64.whl (1.8 MB) File type Wheel Python version cp36 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp36-cp36m-win_amd64.whl (863.8 kB) File type Wheel Python version cp36 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp37 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp37 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp37-cp37m-manylinux2010_x86_64.whl (1.8 MB) File type Wheel Python version cp37 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp37-cp37m-win_amd64.whl (863.8 kB) File type Wheel Python version cp37 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp38-cp38-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp38 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp38-cp38-manylinux1_x86_64.whl (1.7 MB) File type Wheel Python version cp38 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp38-cp38-manylinux2010_x86_64.whl (1.8 MB) File type Wheel Python version cp38 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp38-cp38-win_amd64.whl (864.6 kB) File type Wheel Python version cp38 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp39-cp39-macosx_11_0_x86_64.whl (1.0 MB) File type Wheel Python version cp39 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp39-cp39-manylinux1_i686.whl (1.6 MB) File type Wheel Python version cp39 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp39-cp39-manylinux1_x86_64.whl (1.6 MB) File type Wheel Python version cp39 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp39-cp39-manylinux2010_x86_64.whl (1.8 MB) File type Wheel Python version cp39 Upload date Hashes View
Filename, size python_sat-0.1.7.dev2-cp39-cp39-win_amd64.whl (861.2 kB) File type Wheel Python version cp39 Upload date Hashes View
Filename, size python-sat-0.1.7.dev2.tar.gz (3.6 MB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring DigiCert DigiCert EV certificate Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page