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 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.
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.
Source Distribution
File details
Details for the file python-sat-0.1.3.dev21.tar.gz.
File metadata
- Download URL: python-sat-0.1.3.dev21.tar.gz
- Upload date:
- Size: 141.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.0.0 requests-toolbelt/0.8.0 tqdm/4.23.4 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 3ee3b47510a9fac3e02155af89ce305a849d881308e036a6a0d6ab088a874d59 |
|
| MD5 | ed00500715eed471a95b01c74bd714ff |
|
| BLAKE2b-256 | 44e322b6e5a00e7f8ad429e1ec9a8b4b571ad37486b815ef5b93cdc6364cee58 |
