Skip to main content

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.

Source Distribution

python-sat-0.1.8.dev8.tar.gz (4.3 MB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded PyPymacOS 11.0+ ARM64

python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_10_9_x86_64.whl (1.4 MB view details)

Uploaded PyPymacOS 10.9+ x86-64

python_sat-0.1.8.dev8-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-pp39-pypy39_pp73-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded PyPymacOS 11.0+ ARM64

python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.5 MB view details)

Uploaded PyPymanylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded PyPymanylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (313.5 kB view details)

Uploaded PyPymanylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev8-cp311-cp311-win_amd64.whl (1.0 MB view details)

Uploaded CPython 3.11Windows x86-64

python_sat-0.1.8.dev8-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.11macOS 13.0+ ARM64

python_sat-0.1.8.dev8-cp310-cp310-win_amd64.whl (1.0 MB view details)

Uploaded CPython 3.10Windows x86-64

python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.10macOS 13.0+ x86-64

python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.10macOS 13.0+ ARM64

python_sat-0.1.8.dev8-cp39-cp39-win_amd64.whl (1.0 MB view details)

Uploaded CPython 3.9Windows x86-64

python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.12+ x86-64manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.9macOS 13.0+ x86-64

python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.9macOS 13.0+ ARM64

python_sat-0.1.8.dev8-cp38-cp38-win_amd64.whl (1.0 MB view details)

Uploaded CPython 3.8Windows x86-64

python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.12+ x86-64manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_x86_64.whl (1.4 MB view details)

Uploaded CPython 3.8macOS 13.0+ x86-64

python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.8macOS 13.0+ ARM64

python_sat-0.1.8.dev8-cp37-cp37m-win_amd64.whl (1.0 MB view details)

Uploaded CPython 3.7mWindows x86-64

python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.12+ x86-64manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp36-cp36m-win_amd64.whl (1.1 MB view details)

Uploaded CPython 3.6mWindows x86-64

python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.12+ x86-64manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.5mmanylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.5mmanylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

Uploaded CPython 2.7mumanylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 2.7mumanylinux: glibc 2.5+ i686

python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

Uploaded CPython 2.7mmanylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 2.7mmanylinux: glibc 2.5+ i686

File details

Details for the file python-sat-0.1.8.dev8.tar.gz.

File metadata

  • Download URL: python-sat-0.1.8.dev8.tar.gz
  • Upload date:
  • Size: 4.3 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.12

File hashes

Hashes for python-sat-0.1.8.dev8.tar.gz
Algorithm Hash digest
SHA256 c6368618dd976ca9442c86acb8c6c8bf6e21896de2244d125574e1b329408c09
MD5 5aae99a234f54a8c09ded566efbdbdae
BLAKE2b-256 e646e21765b0e3f4e9cc22bbd1365ee005af78ea708920315cbd17ad05c94c25

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 64e9423b1e6e82f7aea40e581be88c81534ee457de0bf9664e2fd0d154b041b8
MD5 1b7248e7c61a9e650dc4b8e8ec06e327
BLAKE2b-256 4b08a511be03262556fd69492e40a27572fef88b2e447f9df0536c94af6c51f9

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 cc27393622fab064dfac111b222118e9705d2e5ff1ddd5b790a832bcce6c34f5
MD5 c61ce7c3d449ab3b577e3ff795b7c36c
BLAKE2b-256 018b308d3488b555d3b71724dc64a28ccba2f670d882cba01c7c55e42affd356

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 d90324c114c191f84f11e3e3c117671f7f94d9c1dbadd5b8b271dca50191de51
MD5 a0cf814d31f6266f10169a0aef7fa1a0
BLAKE2b-256 61a640cf128d186f25bebe681522de6e0e80a65f88feda78998a8f7bc27b6ab3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp39-pypy39_pp73-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp39-pypy39_pp73-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 065f73bcf9ba782edd3497ed6f96ab6cfa9569b64b4d80ce0dd06fb54bd71f26
MD5 338750c7c0892007fee7cee72a7ff056
BLAKE2b-256 de4cd7709206c594c57b87aff4d37a31c55b9a259e2f70ef651bc1069c9a7b79

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 8a8315802ce2d671fff7c0b82032a8caca1831e684979c4f2c923a90d274927f
MD5 dcb695bcc8a8f16c9f3b4937db037537
BLAKE2b-256 a577ae0bcd712298110a7b6cc246d81cf9bf398731dd440d355786a18441f9f1

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 63ff68bb9c7c1a4b01152d3339fc86f8ba8d32694d946143f693a3dab706a4ed
MD5 e44be2b03e6287f18f07075348698aec
BLAKE2b-256 ab296c6dbcc1fd6576a2ae8942015632364c4e625293adcca31e0780f574ed31

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 a9fdf0d7298be3c5fe06cc855c5e7c5a2de2753e8aa329bee6f7cf9e968521f1
MD5 a24227e243e203a39b8c7ed472cbe304
BLAKE2b-256 cf451912b39de3ab62eff6c52137e8b593cc1fd361f6ae3a20c793cb4393e411

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 c81b0de43a873d743bb7901cc3fb33e65b07150ca4d849cece3cc271541c626c
MD5 8ffbb23f1433c38efadbc83a77396de8
BLAKE2b-256 d3dd05e6ad0aca60bc855ef8867bcdc433c71e7d13b8ead2507ec724f2ae0acc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp311-cp311-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 29f869ddc8f240f86c2956b5dd113cfb03220befd2a24cc141a790372016f379
MD5 109370a0ee44c44c03519e27d232138a
BLAKE2b-256 04b4164c67a5da9b8929bc06d2fccc7e218a3e3b38ad866d001522c4ebecd008

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 5f4d964a0dd6a6d45db59471fb96599589cef06a6717c62df7d815662483f2ab
MD5 071c6315071f82b68b956260b58492fe
BLAKE2b-256 984aabff213beeda844dbe84b40137e0207475e70e27270a6ae7044ae5790018

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 cace07598ad193128c11fcd70ed6619f49b1b340fcf56ca797cc37f61bd92b71
MD5 def390ccde9e3c3e0a89fe2ecd7180c5
BLAKE2b-256 35e1ba6259fdf85368b3c52bb3a7159ffb3fc3f1343f06e1db4ae07abdf18a4d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 45a581859fa3e22eb292df979a62585f79696efc2d08408491c4a748aa1fdea7
MD5 81bcb8c5e81d0e27ae6fd4fad7e443d2
BLAKE2b-256 8b02db269560c21da16a131954dfbf39a481e51e8414e73b7f231d3840f3ac30

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp310-cp310-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 7abb40767572c0f1c38460992391b460833d650b0bc91437ba260287b0ca56f0
MD5 97055ab5fe78000f38c8f7817a80c4bb
BLAKE2b-256 56472113fb21ff59f75083f6f5b4f2938e550b1333032fcd5a4c726aab00c24e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 178baf36ae39e4942bd07dbbde145ce4709354c8f51c45ead6bd1a80358fe36d
MD5 043e639756c68b09ec6d95bcb0fcf84c
BLAKE2b-256 490abc180628fc9bf272f82c9692bf904f1f3ceb6f95210d8058e1a0fa1b2aa5

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 6fbf78b91975687aa06e5586a26932764a749f528c5aeae0acad0563b22ed5d4
MD5 403aa0c09b1b4fa552d36a47c834e48d
BLAKE2b-256 8c4e10d6bf2ef00fcb8a5df584ca6e1733564163e4a555a51366f048a74cd4c6

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 b70408ed1e1b1a066ae790536658a1a50777506b7b9dfece38339e8159f28c5e
MD5 5f503b0994327d5f08ba4692d3435912
BLAKE2b-256 0dc407add03c7612de8349c3faf3e265f8e07b44faa54018aa23ce72cdb9eb5d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp310-cp310-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 55dc0977654244ad15c9bc8150418f16a27a8d11ee72191d958a7b126ae1446f
MD5 7d6ab19e2e0be570603b4e17edf5e609
BLAKE2b-256 5267bf48064eeff47b5d7cdead1a3e7937198643100c6c8d9f20ad5c298c053e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 e05b1c4897d3ad207ec0f057f85fd97e07aff670434f58e1c978823efd6e6145
MD5 88de87cfea67acef199e20942b59c071
BLAKE2b-256 cc86cc33b2ffb555467c70ec66b3b1ebb70d176c9809fb23d18d112845fba954

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 5f2945dd3a611eccb8b3754c3cde2de59f7e73906bb0f4025d36884570287929
MD5 5c6bb19ea63bc9a54e77eedd05607c7a
BLAKE2b-256 e65761d486ac7a26e9ac8b931b8d4d3b3be811b256dc27c6ec8cdca49cbbbd76

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 e67958cdafdc641066b2cb55ecb8e8b9d7162d30431d5f62f64483f3f7faac1d
MD5 c8fbebb1585553a5ff6185a0da62d9dc
BLAKE2b-256 bd47f2d972cdb04d47bffc9c4524257c9957aaee5b398cd55afce7c95aa3abcc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 9bf0c22ff84224ddac404e04a7854e74c390072e097c2176e10a005ac43026e2
MD5 bdeb800260631c6bb7fd8e12119245b2
BLAKE2b-256 fe4cb763c3eb0fae06423d53e3950e71363f9613d80fca5a1c1027f339f71f99

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 5048d45e0889317843563d317202ee445180ce07330e1a22919f7f283ed5b326
MD5 993cb109c824b3cbe18f06b8791f9956
BLAKE2b-256 813694725ec9231325bd77c960c2133c5e97a45b3aac6b7e3b533bf1c06f79f3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 5782d2c690a0b4b1b81aaff64104cf8d3c84406a5df3e92f98d531f8dcec7973
MD5 f9c6c5bcf6654da6433c7b34cfab59c4
BLAKE2b-256 f604e2fd6168d68c8e83211065a3d771430956309adad80cdaa016c45c927ddb

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp39-cp39-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 e0ff7f65a8b9dc55273071570a43ca59979a387595f308f47819a54200f5a5e8
MD5 49acdf6890a3958a053946e96adc5866
BLAKE2b-256 2fc83c5ea1c8f94d41bafc1b7e69a30832c7d47f174daa875c14ea218c964ce5

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 15106357a921cce385d6f9b0f82758789711eda276adaf1d4cce913c75a12878
MD5 b24d51727498b50afa1dcabb4eb8bf48
BLAKE2b-256 57975cc1295e9c71f9a79a5bc342b0608ee053780ac0a6b704d27f6496956188

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 d2f13e460f07b2055bece2d18d5c1e8e4dad631d174872c14246f55d021e4ea4
MD5 b5eac810bb765bd9379c713edad1df24
BLAKE2b-256 6e3b4c58b984a032d0e3bee099ff63378a05e26beffbd60b18ae840709f97ecc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 fd6ed0f348255c5982ead7844e6447430a036d905447ff03f63284b93cfa9335
MD5 ad4fcfe1d6a90696fc2325f8bdb368cc
BLAKE2b-256 128082ce106d3d370b32d22f08abd11cfc7852f62d6b8f62cafed58433c4bcb2

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 a8a19e5d5cca14b59b6b9b89defbc4ad269a6de750682261da925ed35754b434
MD5 2b0617b55c42724b8103d02768fea70a
BLAKE2b-256 7b6bd6432f004cbfc9e697e5899582fcb8daa41fd204d9d8ee4b60ea7144835a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 d803fd38bbdd75e36db31b01a9704bbbe8e2e8f9e1251147ecb1d2d228042366
MD5 9788774c641357015812046eea2ab519
BLAKE2b-256 534be01537915bc40e338ac8f649caa8ba7dae1d2c6583c6a4698724659838cd

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 7782201863397f9eda215abc899960566f513d24a4e535de632ef17a2b4d3990
MD5 a2b819abcbf8a55371634c14a5d3527b
BLAKE2b-256 a9b9a024fb018796b9b4f31eee90f451e694f37f2d4541a37d23f6327529517b

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp38-cp38-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 240507c1b8e2641a9a8cada3a1271b9ac5f027d14145dea8828620ba8c42e012
MD5 06ca6ac37ef4e62fa0e04df0f1ae08ca
BLAKE2b-256 38a6f5e38ad88fffd0dd344efbd8605ced29ba8a07d092add1bdd1c45d96338c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp37-cp37m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 885af8d6c6f28275ba381e707bfad519440ee43b5e500767ec903af2d168d24a
MD5 e0b46cf90d1f8f7e361b7d61c71987f6
BLAKE2b-256 2518ebfaeb52e77635dce49b3de1254d1338f4858c461117ed69c3da437e16af

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 06dad41242ebba2b25199a8c3bc9db993e2011059a105f4f45a9a9ceb0eb4a62
MD5 944d794947726cec318ce0e3402e0fc6
BLAKE2b-256 b59bc2f025a43928d83a1f4a18b3d643c1cd7fe637f8ca2a382f82daacd23a16

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 2f95a2f121e6cf21b17a8686dfc82d5e5372a0ed97bb57a5984a6e148bb4bb5f
MD5 e49c718e184990dfd5d7c48f81efd16d
BLAKE2b-256 518e3eb787db2230e65540ebd498afa5b8e39bd0e686d0e9a47a66b92d9379de

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 3a5f178e875fbe0461882d3399e29284bd6b4c4193ac2de82fa674553b0fde13
MD5 010079a3626a760c065bea6fd51761f6
BLAKE2b-256 d1a2782bbbb6732e7327baf9d22c00e60ed5f415e2a5bc033932159c01f74d8c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 47f6aeb708642a07cc3b05d511dd04f52a1332a0aeffac9e48c775428161a72b
MD5 8f4d0eddd465edcbf04face46b4d1e82
BLAKE2b-256 c02875e5ec7bfacc473eec1d25a69d9f3a10affe592648360bad89c3edd0434e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp36-cp36m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp36-cp36m-win_amd64.whl
Algorithm Hash digest
SHA256 5f7f21a8d871a197aea5a2883be7918622c51fe920546ea186edbaa609d7b859
MD5 a3019efdcc2b28e299b8c7a69019df6a
BLAKE2b-256 a722d7d1622b34f86373032ee5dae790d5a656d0ed997a19c27e4a94a446b373

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 aadd9405009a96f196a45987ed92f39b737089a159ed541eff48c0e401440dcb
MD5 5dfa9dc6ebcb5e03f3cdf8220596d136
BLAKE2b-256 d773fba6d8ea55c024ee3e1d4571bdae2ea478d85a653e33ca53c24e48d6e3db

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 a89b90ed551258c09a59017837a05a7b05c9637fd6df758062b8f17efeb211b9
MD5 8231d70762c770df06c77e15bc821b93
BLAKE2b-256 7a10a3af6b7f974574cfcd5c38f8f54087986fc9140dad2547e75e0ceaf21149

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 41a446ac7353bda2238839f462e8e7a57a2afae5be201a8722150f2cd3255390
MD5 684c1e48f41b55caf00ccfe1ff058cee
BLAKE2b-256 1c733718f3b698271610882701ea406afd4af55e80b4b42255cc783deb5443eb

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 c3776338e1eedb4c59ea4c0ab1f82d70d9642f0fa5b80adf9a66a5afa2f447de
MD5 38fec1b48b7257b487e1fab257a47871
BLAKE2b-256 b748887e2daf5f7f2ef431d36b4628ccdc3a560d27a3115a5f6e7d8925128404

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 a27ed93212f37459be95c62756ada56088a23ce4ec7fd6b7749956ccf718ad69
MD5 008d614f5e53a2737ef105010d83203e
BLAKE2b-256 8f32c5735d900c1dda16320300b08fdc2b41003e7edcb64fb60b0b89b8b76e9a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 87b602304f3ee781fc71771b26eba483cf92bd7617c481c4147ab0d7f9514d27
MD5 169cb516fa7f622c26d315cff4a34cba
BLAKE2b-256 13c20e1bfb10c65775f57e67144e7a10d34b9f4145ddbbc9e3069a1a650727a7

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 b71d9e0b0b44d96f813a01a7d98d7133c24f335440672fd97bfc4f270fa33f42
MD5 325c353e2bba9c506fc3e674295775dd
BLAKE2b-256 c035703b082792f93ff6214586c5901b4bab22e33c364cf45c9bc623477ef8d7

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 7460b48b886e1b682a4b26a284ac616c3755cc573b328543d48f4e4aeadf43ab
MD5 b69521da3e02f242bcac0c3cc04ee4de
BLAKE2b-256 70bdbca7a7a998e47a11e92b76f77d449602bf03c0383e9c6c7bce40a94b3ade

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 0a27dbd934ac5ef6ee8d2269f3b53f1360e16a3ce132afb13d0a7fd215c92d01
MD5 dddc7a8d71dc25cd30ede591018618d4
BLAKE2b-256 df76f2d4aa83f482948de93c391446b5f35f91b9b609cb38113d88854a27fbab

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev8-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 010d7c5d9f2e3cd48cefe813a223ba80d8b16762a92fb54fba347e1636385576
MD5 535422b4602ed00a58166e1845744cbc
BLAKE2b-256 84d0b5a7bb91e6ff3d88cd89f7c8400b28a79d3fd942bc96b1a6c3a7b16c9bf3

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page