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

This version

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

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.

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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	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 Apr 20, 2021	Hashes View
Filename, size python-sat-0.1.7.dev2.tar.gz (3.6 MB)	File type Source	Python version None	Upload date Apr 20, 2021	Hashes View

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-macosx_11_2_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-macosx_11_2_x86_64.whl
Algorithm	Hash digest
SHA256	`611cb373b18a7e15ced5e3b6718eac6ee65f9b05f30a3ecd70cc3db75c699db1`
MD5	`b1ccf5d76340b56bb96b85c61d24d797`
BLAKE2-256	`407a3c8c5f255bedf0ce4a7a263e7c831711674973245cdfa1ab840913a4f639`

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`a8e9e60f665c8ea3205f118a3284243892fe6d4f19d9a3aa7a6067e4cae28102`
MD5	`fd7e4aa941031d5cb4b3a50185a5d663`
BLAKE2-256	`5f5cb92d1262a0e9c337e0e785f7af5cd9baff16934a96168fbc42fa449762c2`

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp27-cp27m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`3cea3618bb75b5ca3352045964e425bd0f9ea90be804e123f9c24b7aa89275a3`
MD5	`78dc076d08bb8f2befb409ead7895339`
BLAKE2-256	`5403dc107fcd6af08c1d687d4582d796ad65f7ffb5a02075fe32cd2a559a171d`

Hashes for python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`1f461b78a07a4f7f7ffb8aaf0ed8c9925dbf334340037e7e81b0e9a8111f2db8`
MD5	`5cbbf827e4da92a815dee8944be5b560`
BLAKE2-256	`17b1468599b777466278ee87e5940237979cf004743058c55bb57e7ee4ef336a`

Hashes for python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp27-cp27mu-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`0048a31c580d333f82a90b60df8f143a9686b907a0657b1ea800b3b8d91a0fd6`
MD5	`6948248204b436088c2df9d49251ca01`
BLAKE2-256	`c5dcc8b8f93e1fb5fa77912b0732f87a6af1340ba30ee7b957afa64f18b2dbee`

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`741b0297948247ce061aa2b9d3deae3997fa86e508f6a27d88bb132626efe8f9`
MD5	`9261deb53ae77719314e83e4ee2affc5`
BLAKE2-256	`b8fd97b37a5d14ec7a53d64bc80f3351918e6f5c8db080832cb178ba02185a55`

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`417baf964dc52d870aa737b9a614bd0e857391ac2229eb90c7d6cb6a095bf0a7`
MD5	`f0989f4da693b5c397148305517237ea`
BLAKE2-256	`cfa0ed55f2c021c1d47da260a6c419e77a46fad53b8b3bc9ff9512f76d1eb152`

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux2010_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp35-cp35m-manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`911f0fa3392b92753d80ed31e6789d81fa81b875662d7d9761c3d9707415da4a`
MD5	`538fe5f0795dda360ab559e3949e5e24`
BLAKE2-256	`0a71517d8286d91b9844a98d09c8134b9301d8d7d53a2544c0371b3ff58dd1ad`

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`f4c51f6739f6de7c32a7766a02767b2f816dd99f1dd623e31c39d1ded0d0e4c4`
MD5	`03107aa623b8155b8a16e8e9d8b5a55a`
BLAKE2-256	`fa5281be0f16bf314b6531c8926e00636b5dccd53687b56a7608e7ef639b94ea`

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`027dbb73151c5d9b584a24d2c0950c6583775617fff574c57b0c5e71c4da13e2`
MD5	`dcb90135020b19f85cccdf4764d232ec`
BLAKE2-256	`0501c756bc3389e185a27011d8150a6b0e9f71550490f4e064af3f9edd4cdd41`

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux2010_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`ba9ed04ab6e13c0ea65a399aafc5cad2c004c65c24ef0597e29680288368525f`
MD5	`a4d98638b4367808c3f2971054a3126c`
BLAKE2-256	`0a8a82cbf6a5a58ee9bf1400fd41d3cb6f83effc5aade0b227e2d99065ff8221`

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-win_amd64.whl

Hashes for python_sat-0.1.7.dev2-cp36-cp36m-win_amd64.whl
Algorithm	Hash digest
SHA256	`4999556e63baffbd1357ca626e50e8e65f796a6e79c5ab2400ec603cb8365552`
MD5	`0af6585e38d9b3e7dbf791d47d64bdb0`
BLAKE2-256	`aaa34ff6cc6877d8a2ee36e5465f02687e9aa9db735effff5ac2066d05130b53`

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`ec944420c221a22814255efb0094edad21a2556b4058c95ef7cefc72cbe9a8fe`
MD5	`3db757f4f7df625c508a626afcbc053c`
BLAKE2-256	`619e2cdc765df8efc92b1eb594f9c67b48779803f04b46590d62cd7dda3136f7`

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`add8c508f87466d413616aed29144c19ab11dd48f367fda5733af513b85bd102`
MD5	`02780c68704175d7c5d9194555938eb7`
BLAKE2-256	`90e40c2b590e137beb7ccaf4fb8763319ebc702730a87b1594fc853e96e38d38`

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux2010_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`ca74a37a1a45ce9a6fd4474ac35a8c41052b7d0cd8de098a5e579eea99f5f1c8`
MD5	`aaa789917b81c229e768b7ca2bd044c3`
BLAKE2-256	`6f1b647b6410c146f53c540ff4eb27b83334ae2aa0e8f17df8293cb265f15ff1`

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-win_amd64.whl

Hashes for python_sat-0.1.7.dev2-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`1b56402c40b27a9e4d6fa56f4051fb8a248d43d856ae11dc35190e64fd2e918c`
MD5	`2a2a15a77ee4860e04628c0c8b75eb38`
BLAKE2-256	`ac7b3b6880f109a23994be4646b12b6da220b5f907e1551b0fbffe0e06f8dc81`

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`09b9879b0b84660029e7cdc553f66c30a2078fab159e8b8b3bf1d20e27b9d840`
MD5	`2e3e1592ef31d207375ee89633d218da`
BLAKE2-256	`61aea9c599a8badfa0554fb97e8ad9891bc6bc4fee8141b4b6ba22adb2621ea6`

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`9cbac249d2de7fa0f4c883c2182c69a35a6779c1f6b1397e0c1891b7a42c4d0f`
MD5	`00bafa3102c47e6685ed575d0d9da97c`
BLAKE2-256	`9f6bed935a3d73af50a17165e07ab08b955a87c2f0e881ddc46689bdc95089d2`

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux2010_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp38-cp38-manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`2a4778da978deeccb176627e7163d20b8d38a69895cd376d9ba73cad3c285dda`
MD5	`3e2f51d9d84784f132db22211c748c06`
BLAKE2-256	`14f190287a7f7f316dcdf90da7b301bd9020e2bcae2fe7f0832503a662e10aa3`

Hashes for python_sat-0.1.7.dev2-cp38-cp38-win_amd64.whl

Hashes for python_sat-0.1.7.dev2-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`7dfb93cbfa1e11e968d735836161ac6e8d8a572c24990267233098ddfc599cc7`
MD5	`d966155ac8a259fe53d3d897f2529060`
BLAKE2-256	`dd8789d55361786931d1e1ce8ae39b7d36e3cb4d7fe2b4bed1fac372707945b9`

Hashes for python_sat-0.1.7.dev2-cp39-cp39-macosx_11_0_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp39-cp39-macosx_11_0_x86_64.whl
Algorithm	Hash digest
SHA256	`34258e6c6aacf534bd718f42888fa687bde36675f76b466077a1360845af9e04`
MD5	`6794e7d6128eaf65786cc256b45dd665`
BLAKE2-256	`e91a5a4495c2cc162405f503a71f8e273cb64c62daf58358098508c2db4624db`

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux1_i686.whl

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux1_i686.whl
Algorithm	Hash digest
SHA256	`18dca18ab35c31dbe02531a85512fc83ee8d6ba46e0cd2f4a58de7f9bbe0064d`
MD5	`118e49b392f779bfc55785cb6ab397f7`
BLAKE2-256	`454e4952c7e149ff451aac83357634004b49a26d476a95406dd08aafa41ffd1b`

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux1_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`7a7f05d6358908dafb15e9f747dcb5335ee01ef81b7d53f46be8795332ca4a6e`
MD5	`432b013373c09c7b55aa3ddd8ff6b51c`
BLAKE2-256	`90931eaa279870f7c1957fa0f98a36f9ba9333687a3f7b38311ac393bdcecd98`

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux2010_x86_64.whl

Hashes for python_sat-0.1.7.dev2-cp39-cp39-manylinux2010_x86_64.whl
Algorithm	Hash digest
SHA256	`a9a952cfe94c9e689bbbd777f4de639891529203a7cc599a58eb1d0251154fdc`
MD5	`ef4dcc8565ffa710c186bf7df1007906`
BLAKE2-256	`50e80353f0ccec1a2ee64199849d45d0e958194f13b129c883142ceb65ab6878`

Hashes for python_sat-0.1.7.dev2-cp39-cp39-win_amd64.whl

Hashes for python_sat-0.1.7.dev2-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`405bc992b1a776f203886dcdbf289e3e6610341555d1dce88f36726967622117`
MD5	`2a4d08c9c398c544a779cf8cd41720ff`
BLAKE2-256	`32d149c0a683a390806419886a439eda129afcc1bd4da64ee3be711f474527be`

Hashes for python-sat-0.1.7.dev2.tar.gz

Hashes for python-sat-0.1.7.dev2.tar.gz
Algorithm	Hash digest
SHA256	`9a32bd2adea80f8c8f2c079d7ee43a1320de6012a6320ef3f685ce78251c8729`
MD5	`eed9ae5190812e947f75e267da4adb78`
BLAKE2-256	`3643e646158ec760f4ba28641fd9ca4827aa4b8ee128564b6eebb5deb7e92188`