python-sat

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

1.8.dev13 pre-release

May 12, 2024

1.8.dev12 pre-release

Apr 18, 2024

1.8.dev11 pre-release

Apr 18, 2024

1.8.dev10 pre-release

Apr 11, 2024

1.8.dev9 pre-release

Apr 7, 2024

1.8.dev8 pre-release

Apr 6, 2024

1.8.dev7 pre-release

Mar 31, 2024

1.8.dev6 pre-release

Mar 27, 2024

1.8.dev5 pre-release

Mar 20, 2024

1.8.dev4 pre-release

Mar 17, 2024

1.8.dev3 pre-release

Feb 28, 2024

1.8.dev2 pre-release

Feb 28, 2024

1.8.dev1 pre-release

Feb 25, 2024

0.1.8.dev17 pre-release

Feb 20, 2024

0.1.8.dev16 pre-release

Feb 17, 2024

0.1.8.dev15 pre-release

Feb 7, 2024

0.1.8.dev14 pre-release

Jan 31, 2024

0.1.8.dev13 pre-release

Jan 9, 2024

0.1.8.dev12 pre-release

Nov 28, 2023

0.1.8.dev11 pre-release

Nov 24, 2023

0.1.8.dev10 pre-release

Oct 13, 2023

0.1.8.dev9 pre-release

Jul 15, 2023

0.1.8.dev8 pre-release

Jul 12, 2023

0.1.8.dev7 pre-release

Jun 9, 2023

0.1.8.dev6 pre-release

Jun 4, 2023

0.1.8.dev5 pre-release

Jun 3, 2023

0.1.8.dev4 pre-release

May 25, 2023

0.1.8.dev3 pre-release

Apr 21, 2023

0.1.8.dev2 pre-release

Mar 19, 2023

0.1.8.dev1 pre-release

Mar 5, 2023

0.1.7.dev26 pre-release

Jan 22, 2023

0.1.7.dev25 pre-release

Jan 17, 2023

0.1.7.dev24 pre-release

Jan 14, 2023

0.1.7.dev23 pre-release

Jan 13, 2023

0.1.7.dev22 pre-release

Jan 13, 2023

0.1.7.dev21 pre-release

Nov 22, 2022

0.1.7.dev20 pre-release

Nov 18, 2022

0.1.7.dev19 pre-release

Jul 6, 2022

0.1.7.dev18 pre-release

Jun 18, 2022

0.1.7.dev17 pre-release

Jun 3, 2022

0.1.7.dev16 pre-release

Feb 22, 2022

0.1.7.dev15 pre-release

Dec 3, 2021

0.1.7.dev14 pre-release

Nov 24, 2021

0.1.7.dev13 pre-release

Nov 23, 2021

0.1.7.dev12 pre-release

Nov 9, 2021

0.1.7.dev11 pre-release

Oct 12, 2021

0.1.7.dev10 pre-release

Aug 17, 2021

0.1.7.dev9 pre-release

Aug 2, 2021

0.1.7.dev8 pre-release

Jul 30, 2021

0.1.7.dev7 pre-release

Jul 28, 2021

0.1.7.dev6 pre-release

Jul 17, 2021

0.1.7.dev5 pre-release

Jun 26, 2021

0.1.7.dev4 pre-release

Jun 11, 2021

0.1.7.dev3 pre-release

May 24, 2021

0.1.7.dev2 pre-release

Apr 20, 2021

0.1.7.dev1 pre-release

Mar 31, 2021

0.1.6.dev16 pre-release

Mar 25, 2021

0.1.6.dev15 pre-release

Mar 23, 2021

0.1.6.dev14 pre-release

Mar 23, 2021

0.1.6.dev13 pre-release

Mar 23, 2021

0.1.6.dev12 pre-release

Feb 12, 2021

0.1.6.dev11 pre-release

Nov 23, 2020

0.1.6.dev10 pre-release

Nov 18, 2020

0.1.6.dev9 pre-release

Sep 27, 2020

0.1.6.dev8 pre-release

Sep 26, 2020

0.1.6.dev7 pre-release

Sep 25, 2020

0.1.6.dev6 pre-release

Aug 9, 2020

0.1.6.dev5 pre-release

Aug 3, 2020

0.1.6.dev4 pre-release

Jul 25, 2020

0.1.6.dev3 pre-release

Jul 7, 2020

0.1.6.dev2 pre-release

Jul 6, 2020

0.1.6.dev1 pre-release

Jul 6, 2020

0.1.5.dev17 pre-release

Jul 4, 2020

0.1.5.dev16 pre-release

Jun 23, 2020

0.1.5.dev15 pre-release

Jun 15, 2020

0.1.5.dev14 pre-release

May 18, 2020

0.1.5.dev13 pre-release

May 4, 2020

0.1.5.dev12 pre-release

Apr 12, 2020

0.1.5.dev11 pre-release

Apr 12, 2020

0.1.5.dev10 pre-release

Mar 19, 2020

0.1.5.dev9 pre-release

Mar 19, 2020

0.1.5.dev8 pre-release

Mar 17, 2020

0.1.5.dev7 pre-release

Mar 14, 2020

0.1.5.dev6 pre-release

Jan 23, 2020

0.1.5.dev5 pre-release

Jan 8, 2020

0.1.5.dev4 pre-release

Dec 4, 2019

0.1.5.dev3 pre-release

Dec 4, 2019

This version

0.1.5.dev1 pre-release

Dec 4, 2019

0.1.4.dev25 pre-release

Dec 2, 2019

0.1.4.dev24 pre-release

Nov 28, 2019

0.1.4.dev23 pre-release

Nov 13, 2019

0.1.4.dev22 pre-release

Nov 7, 2019

0.1.4.dev21 pre-release

Oct 30, 2019

0.1.4.dev20 pre-release

Oct 29, 2019

0.1.4.dev19 pre-release

Oct 9, 2019

0.1.4.dev18 pre-release

Sep 30, 2019

0.1.4.dev17 pre-release

Aug 28, 2019

0.1.4.dev16 pre-release

Aug 28, 2019

0.1.4.dev15 pre-release

Aug 21, 2019

0.1.4.dev14 pre-release

Aug 21, 2019

0.1.4.dev13 pre-release

Jul 4, 2019

0.1.4.dev12 pre-release

Jun 25, 2019

0.1.4.dev11 pre-release

Jun 17, 2019

0.1.4.dev10 pre-release

May 26, 2019

0.1.4.dev9 pre-release

May 17, 2019

0.1.4.dev8 pre-release

Apr 27, 2019

0.1.4.dev7 pre-release

Apr 19, 2019

0.1.4.dev6 pre-release

Mar 21, 2019

0.1.4.dev5 pre-release

Mar 19, 2019

0.1.4.dev4 pre-release

Mar 18, 2019

0.1.4.dev3 pre-release

Mar 18, 2019

0.1.4.dev2 pre-release

Mar 18, 2019

0.1.4.dev1 pre-release

Mar 13, 2019

0.1.4.dev0 pre-release

Mar 13, 2019

0.1.3.dev25 pre-release

Dec 28, 2018

0.1.3.dev24 pre-release

Nov 1, 2018

0.1.3.dev23 pre-release

Sep 22, 2018

0.1.3.dev22 pre-release

Sep 20, 2018

0.1.3.dev21 pre-release

Sep 6, 2018

0.1.3.dev20 pre-release

Aug 30, 2018

0.1.3.dev19 pre-release

Aug 25, 2018

0.1.3.dev18 pre-release

Aug 25, 2018

0.1.3.dev17 pre-release

Aug 25, 2018

0.1.3.dev16 pre-release

Aug 20, 2018

0.1.3.dev15 pre-release

Aug 19, 2018

0.1.3.dev14 pre-release

Aug 17, 2018

0.1.3.dev13 pre-release

Jul 27, 2018

0.1.3.dev12 pre-release

Jul 16, 2018

0.1.3.dev11 pre-release

Jun 20, 2018

0.1.3.dev10 pre-release

Jun 7, 2018

0.1.3.dev9 pre-release

May 28, 2018

0.1.3.dev8 pre-release

May 25, 2018

0.1.3dev7 pre-release

May 23, 2018

0.1.3dev6 pre-release

May 22, 2018

0.1.3dev5 pre-release

May 21, 2018

0.1.3dev4 pre-release

May 21, 2018

0.1.3dev3 pre-release

May 15, 2018

0.1.3dev2 pre-release

May 2, 2018

0.1.3dev1 pre-release

Apr 10, 2018

0.1.3dev0 pre-release

Apr 9, 2018

0.1.2dev9 pre-release

Apr 8, 2018

0.1.2dev8 pre-release

Apr 6, 2018

0.1.2dev7 pre-release

Apr 3, 2018

0.1.2dev6 pre-release

Mar 29, 2018

0.1.2dev5 pre-release

Mar 28, 2018

0.1.2dev4 pre-release

Mar 25, 2018

0.1.2dev3 pre-release

Mar 6, 2018

0.1.2dev2 pre-release

Mar 4, 2018

0.1.2dev1 pre-release

Mar 2, 2018

0.1.2dev0 pre-release

Mar 2, 2018

0.1.1dev9 pre-release

Mar 1, 2018

0.1.1dev8 pre-release

Feb 22, 2018

0.1.1dev7 pre-release

Jan 31, 2018

0.1.1dev6 pre-release

Jan 31, 2018

0.1.1dev5 pre-release

Jan 30, 2018

0.1.1dev4 pre-release

Jan 28, 2018

0.1.1dev3 pre-release

Jan 28, 2018

Download files

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

Source Distribution

python-sat-0.1.5.dev1.tar.gz (257.4 kB view details)

Uploaded Dec 4, 2019 Source

Built Distributions

python_sat-0.1.5.dev1-cp38-cp38-win_amd64.whl (715.7 kB view details)

Uploaded Dec 4, 2019 CPython 3.8 Windows x86-64

python_sat-0.1.5.dev1-cp37-cp37m-win_amd64.whl (723.7 kB view details)

Uploaded Dec 4, 2019 CPython 3.7m Windows x86-64

python_sat-0.1.5.dev1-cp37-cp37m-macosx_10_15_x86_64.whl (847.6 kB view details)

Uploaded Dec 4, 2019 CPython 3.7m macOS 10.15+ x86-64

python_sat-0.1.5.dev1-cp27-cp27m-macosx_10_15_x86_64.whl (843.8 kB view details)

Uploaded Dec 4, 2019 CPython 2.7m macOS 10.15+ x86-64

File details

Details for the file python-sat-0.1.5.dev1.tar.gz.

File metadata

Download URL: python-sat-0.1.5.dev1.tar.gz
Upload date: Dec 4, 2019
Size: 257.4 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.5

File hashes

Hashes for python-sat-0.1.5.dev1.tar.gz
Algorithm	Hash digest
SHA256	`83d324aecadfa6afa92320bb36912ba251ded10b66241754cb5a9eb0d4448fe5`
MD5	`b5da5a637f060358e93690c6589ada6c`
BLAKE2b-256	`11776783d52283582550582c731eb727511fec90b57b03d0d0c22f1ca9d9025d`

See more details on using hashes here.

File details

Details for the file python_sat-0.1.5.dev1-cp38-cp38-win_amd64.whl.

File metadata

Download URL: python_sat-0.1.5.dev1-cp38-cp38-win_amd64.whl
Upload date: Dec 4, 2019
Size: 715.7 kB
Tags: CPython 3.8, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.5

File hashes

Hashes for python_sat-0.1.5.dev1-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`53cd2b29e458c562154a8015e91579d3302dcecdf75db0b776b757d8f6b3c0ae`
MD5	`8a693f7d6f159a402d251a8ddc8980d4`
BLAKE2b-256	`08e03c60234c2c6c0b03cc6e2b5b297eec9872682c5fa006c944fe66bde153b7`

See more details on using hashes here.

File details

Details for the file python_sat-0.1.5.dev1-cp37-cp37m-win_amd64.whl.

File metadata

Download URL: python_sat-0.1.5.dev1-cp37-cp37m-win_amd64.whl
Upload date: Dec 4, 2019
Size: 723.7 kB
Tags: CPython 3.7m, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.5

File hashes

Hashes for python_sat-0.1.5.dev1-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`ce62298fb7c19e76400085a9f90e86954ab3578b4f6d3753a3dbc02988b1dc61`
MD5	`b1e78b08a3a698fc7daa8dbafa4e504e`
BLAKE2b-256	`fd7159a3788b8ab60a9135a662df25965db972ca4e825006563e2cba27fc4ff8`

See more details on using hashes here.

File details

Details for the file python_sat-0.1.5.dev1-cp37-cp37m-macosx_10_15_x86_64.whl.

File metadata

Download URL: python_sat-0.1.5.dev1-cp37-cp37m-macosx_10_15_x86_64.whl
Upload date: Dec 4, 2019
Size: 847.6 kB
Tags: CPython 3.7m, macOS 10.15+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.5

File hashes

Hashes for python_sat-0.1.5.dev1-cp37-cp37m-macosx_10_15_x86_64.whl
Algorithm	Hash digest
SHA256	`fed436556acd6c8f9e27c97e0e7e4fcf59cb84c5b24daba376f56af66535ac03`
MD5	`6d85e09f44b2fe091c552da85768ca2b`
BLAKE2b-256	`95f5632353fd456a4342d44408b40c3bd22b192860ad4e2731c8fd64ec13698b`

See more details on using hashes here.

File details

Details for the file python_sat-0.1.5.dev1-cp27-cp27m-macosx_10_15_x86_64.whl.

File metadata

Download URL: python_sat-0.1.5.dev1-cp27-cp27m-macosx_10_15_x86_64.whl
Upload date: Dec 4, 2019
Size: 843.8 kB
Tags: CPython 2.7m, macOS 10.15+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.5

File hashes

Hashes for python_sat-0.1.5.dev1-cp27-cp27m-macosx_10_15_x86_64.whl
Algorithm	Hash digest
SHA256	`de1d221bd4a45dccd532c82faa9ede4782eac4b5d9e8a7a3c371ea90e8956fb1`
MD5	`af1be9078fee25f3ee95b2b9750ac64e`
BLAKE2b-256	`c8b792cb8a75a0e8fdab3877940f807ff10b90eb31c47b85d1b691bcdd8850e5`