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-1.9.dev3.tar.gz (6.0 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-1.9.dev3-cp314-cp314t-musllinux_1_2_x86_64.whl (5.0 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp314-cp314t-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (4.0 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp314-cp314t-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.9.dev3-cp314-cp314t-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14tmacOS 10.13+ x86-64

python_sat-1.9.dev3-cp314-cp314-win_amd64.whl (2.0 MB view details)

Uploaded CPython 3.14Windows x86-64

python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp314-cp314-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.14macOS 11.0+ ARM64

python_sat-1.9.dev3-cp314-cp314-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14macOS 10.13+ x86-64

python_sat-1.9.dev3-cp313-cp313-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.13Windows x86-64

python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp313-cp313-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

python_sat-1.9.dev3-cp313-cp313-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

python_sat-1.9.dev3-cp312-cp312-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.12Windows x86-64

python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp312-cp312-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

python_sat-1.9.dev3-cp312-cp312-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.12macOS 10.13+ x86-64

python_sat-1.9.dev3-cp311-cp311-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.11Windows x86-64

python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp311-cp311-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

python_sat-1.9.dev3-cp311-cp311-macosx_10_9_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.11macOS 10.9+ x86-64

python_sat-1.9.dev3-cp310-cp310-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.10Windows x86-64

python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp310-cp310-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

python_sat-1.9.dev3-cp310-cp310-macosx_10_9_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

python_sat-1.9.dev3-cp39-cp39-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.9Windows x86-64

python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_aarch64.whl (4.7 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp39-cp39-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.9macOS 11.0+ ARM64

python_sat-1.9.dev3-cp39-cp39-macosx_10_9_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.9macOS 10.9+ x86-64

python_sat-1.9.dev3-cp38-cp38-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.8Windows x86-64

python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ x86-64

python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev3-cp38-cp38-macosx_11_0_arm64.whl (421.8 kB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

python_sat-1.9.dev3-cp38-cp38-macosx_10_9_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

File details

Details for the file python_sat-1.9.dev3.tar.gz.

File metadata

  • Download URL: python_sat-1.9.dev3.tar.gz
  • Upload date:
  • Size: 6.0 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for python_sat-1.9.dev3.tar.gz
Algorithm Hash digest
SHA256 71709e5e524c230da41ea531577973f885b2860e178d8d4ff942420dd6756211
MD5 e9f4c97034e8c55c84b5f4e77061caf4
BLAKE2b-256 0721966b2eafe51323bd7e8be531e86b10960d6f34e629bf044740229b125353

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 63dca27198bd7f76e5c5dc8bafd06e9fdf414599b858d833ad60944091677482
MD5 811ff1cc8e11af3f90bdd37b4050472e
BLAKE2b-256 ccbcef1f4ba1333406fc1d97c40730b8781dcf3e52a78a0fab3d23eb4e7fb5cd

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 5cc747df21528f32f6fba32c27fd77113ec653cc8d1a02395068d9392a2987af
MD5 ee66df19a4071e96c6d8ab014b0b259f
BLAKE2b-256 02ffadbee38237bace7f705e8939fc15cc877f6d2b8b05d7fe437ba271f16e98

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1613b9219cb00a4f954fa309efc21eda178d4441f78207ce79e2ce5e2e598cf3
MD5 12c02447a05431fa287061705d805255
BLAKE2b-256 c2b5c51de2115c2eb208347c68609b927308a38f3155bccf2004f45a05a2798b

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3fa61a46c241fad289f94fa3082506f9449f13fc9a4a91fe6558dc377b99b853
MD5 b8cbe8b399ddbd399be78d09ce8e1e70
BLAKE2b-256 2904af9c1974293937c8582edf60c354cd7b6d3f7e6e7165e7d2433ac4f1369f

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 cc43c73a9fc845ed9ec3cff7883dee6972d7a8d4fa9827c50be0a6651d931687
MD5 0725de196a50d6acfe94f92fb6fa3c31
BLAKE2b-256 ed2d11c0690a5c2e3731a0bfec6136432a08ed11d77df22698e1f3d5efb101b3

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314t-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314t-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 d557611b9bd89f9d65a6083ac58e5eae05cac290e6c074c23ecdd335dcc3c1b4
MD5 73e55c2d501d9e14171b65da487160d2
BLAKE2b-256 847ad675467b673dd656560d38da601c3b88f20c8dc488da1f65fb0813ad281d

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 408e1437308e435397f5f8aab8e6b8f66cd56d0722a197dc5d7646f4b4e274fd
MD5 978fdbd4a4e2bf21b979a03662a4a039
BLAKE2b-256 596bc0e20750e063897f9353146742e9daa056296300211d1bba0a09f92d109b

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 f81772942ac787e9372b9cdfd7e83ac6d629b7fc0de09d61be86e58dec320b46
MD5 f971f24160dd7946b6783bc66d80745b
BLAKE2b-256 0790abec68ed1244b2d5daf26fefca86850683b1821680d7e47c5643878397b1

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 9a0ceac7ed17ac9a5c93de842ee96d3f92dd30d854c3cf45dbc5462494609784
MD5 e30adc0aefb651008434912a5369f206
BLAKE2b-256 b594e519eecfd7d1e5a4651c77e7da5286f0ca4abab0c3d4b8887974e83c87e0

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f814b0e2ea0e2a63d8cb3bf6696a2245f1b1828837a7d28fdc8d264ac6f963af
MD5 c89cef01a4c9f78ba1fa71b11d8f1cb8
BLAKE2b-256 5dff64f780ec4d85e36a651284911c7ab9205f33e88652b6eedf68a3eb4beae5

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 20bde053607f150ec6ba275daa15c2f3e126a6eaf34084b6bb60e5b7685b4786
MD5 0f0d81fad05b6d70186a37a5938f929d
BLAKE2b-256 63ae4d65826c11aa7fc9a2aa3eadf863ede1c0202ba19860d6b815de8fd84599

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 f7ebd3e81bd2f0bbf3b8b1fe2f55d651311c6dce25358a5e408258410b2cb4ee
MD5 ddc7cb9428c4cfb5b8ec385a2c57673c
BLAKE2b-256 a34bf4669757bce85105d0869185ff404c8c7ae824b2a17246dd9ed4da31ab6f

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp314-cp314-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp314-cp314-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 fe929e2f4527da2163b702500631539613d05a7500713b5b468928ce383188f6
MD5 fd99067d81cbc52ac3f7679f07b2a2ef
BLAKE2b-256 d1bae9112976c469d1ffae93eb24d4de60e9ec7d016a2ba871dcfd0c8d4f0a66

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 96ef63e5b3779030dd8068301b4747d60a6af2cba05fd3feeaf613d63726b018
MD5 93a043fde835852bfb373da3d1166fef
BLAKE2b-256 b0f9a331d85c66c6344ceb7ed7dceb51a766ab7919cfa51a89cab58071a25d4d

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 944218466fc719f7a3c05620e48813bde0a9d0ca9b412f472b848721c6f1aafd
MD5 c577da70699e8dcf6fcf8ab1a3655432
BLAKE2b-256 4dcf765b32072c04ba9853e374261f58f458e4fef4d2c64fb2af19962fba0b28

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 79e9221c12ff1b4ef26a3ffbbc052be0de08861e5f93d8dabcf60d9350554ce2
MD5 3bd61507814312200c8f73474c4fdc56
BLAKE2b-256 1ea2f6d5528f59467942027d6beddde0dc0d7de801a244a889f5918c3ca1ff28

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e8cf56a6c8092b3f4ce0b4592bd85fd4f90869ce7ca619a7e7b94bf6eae35db6
MD5 91bff03844a2890c8b14fd867b053664
BLAKE2b-256 d7c32bc22776ad9eec786ca45df21d6cb8bbf8f082d5870e66f4b70084ea1301

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 6197dcbcda8b795bb2dbf0fb45268f553fd32cd2864f23daffac57f915c195c3
MD5 53a390805cec6c8136b0b18306f08bb3
BLAKE2b-256 0e7782c1eb5429da8256d82025b2287709b7976fd86ac238fd3ef49a426f5faf

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 5e5ffa638bf7dcb0c9ba64523119a031b4b61ebe2803894a8f273c0ed2844c88
MD5 663b754d5a8484b5ffe2d93c72cd1a93
BLAKE2b-256 e246f631f0cc4bc3b07501d3318df0445592a872e1fe32433a3e3724261ce645

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp313-cp313-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 d861edf0ff0c7b0b885c1e12ee50524d3791370f014639674b676d815e485975
MD5 91b90ac8443565343d4f31d652e0002f
BLAKE2b-256 b91a4cc3d995910df4f96d8dcbe5e1178fb70337769a19813363ff0fee279a02

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 784a9560050dd381f2e6ba4cca9035fa0c4bbcb535c01fa4cc6059df28f4bb25
MD5 187bed84416bb8973c608c66102f8b26
BLAKE2b-256 d04b8dac2b7e25a7944a2b5d22c87d607a4a45b3873ed95b62239d535f2623b9

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 22f231ef1c1ab895a35cd814b8daba87e7cb7a39c2ebd933b3b2870251208db4
MD5 3b863c5249882389c7f0a624394be5d4
BLAKE2b-256 cecbe25ed84c63c518a7c6f9a7adcef95c410681c7aadfc4deb3a44d1628203f

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 eff7b89c0895deacbf761a930e9830557a96d82751d61cda381c521ebf0dee3f
MD5 a0abe557076fee6308bd8d7c2a738ae8
BLAKE2b-256 6d2d5756dccb1e8d6c1ca9ca73d1c153f95b19ede6811552215cc58f5f8aacc8

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 55bf065fa86140e943ff2e13a2c90a763ef99b051c258343d85fa4993b1dee65
MD5 4d807197318f8ea1b4fd87d8a991251b
BLAKE2b-256 8f7c45f2bda6422f65ebc7c6c8a6d7bcccb5d7dd85c98be05c7aff0ef58e46b0

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 21ac0dc67b013fe5a86c4c34dd7c029e596c1b78f8864d51e18ecfcb55990f93
MD5 5c77c81f5045c7ed96daa4e432a42bad
BLAKE2b-256 4496557f660cd4cc443bd0ac10649a6e8d726c428f3dbc9d010523e86f743b38

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2639ede417a4f2037a339d7e0e2843dc683122b3f3f9322e403867618a2505d8
MD5 f6be5511c508fb9070ee0fafe9cd88d1
BLAKE2b-256 a51a6ff52e18601519e477597fe081085bff3e9da641ba4b01a75e13f56a6f47

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp312-cp312-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 390a9e662b11af5e55b5b00825d705a03b3ebaae3f5da744f2a94d8ac02517c7
MD5 33a11a979240f4d0686d8a28e1705917
BLAKE2b-256 97e56f9ce454ba45c1089f8d514d2af26bbd4c02ff3ac87956dc80572e340fd8

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 f9e4c059ec4e32656d079bcdead8eb3d665be3360947fdbb43ab40462039d62f
MD5 78224fd840971824dcb0fc6441d32dd5
BLAKE2b-256 e5b860449b9185abcc898e47cd3d7a575d4feb3c87dfa1fc14e77f5d509325c4

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 6a943522f5b8bd6cda6864981691af3e59527a3889fc6679adf0a96ad1b59bf1
MD5 8a6ecd3d5de4648f02bb08d517d2b71d
BLAKE2b-256 576d53de979a06b082ec542a971aa40b122469412725d3e8b712a30ff4d1cbed

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4d795d3550db288354991a19a46093ccbf3020b20c3561ba1fed1f80669ea5cd
MD5 a87229ef2906ef5b7b3826f25d4e3c5e
BLAKE2b-256 fd0e5d82088b16a3349cc22839ad61475e7e01ded88389b90c60f224d182a374

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 c14ee14f4e9c8541b63a356f37efb15fcf889990e808f71326b45c52df3d0b3a
MD5 26191281f8b46a7a1b84d6e888e886b6
BLAKE2b-256 9375c1b4b8448c327e4e0a0a9b4273c5bb3cf8a63176310d64b5578e788e346c

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e8ed0dcc11e75a4ff32aafd46aa4015c4a7d6db57642010f03345190a5052950
MD5 24a2149dde6ce767018479918ceef1bf
BLAKE2b-256 4efe7b27f7e01f59eff986052bcf1caad51c32a00f9658c2d438751f90b213e6

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ce1e4c4c8fd00f631e8113d49dfc860e1f6a362adfa34e276c3eca3856966a51
MD5 39dcf661c68ba5876050726faf7bd2d8
BLAKE2b-256 88309945b47ba3765fa71f843ff747cb394111190923d74fef4f92e4e34d873b

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp311-cp311-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 55fc968735559cd0591136b1501e9a235923f52a1e1e8bcaeecb0e3c94fdecab
MD5 89371bdfceeceef255004c1e306451d9
BLAKE2b-256 84e27d94329bb192e376b6e1eb4eac89733ec23bbd54c30ebc84ea84cc1e18f4

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 045ec5e9f9061f9f4a3b248e72c285d4fbc31b9d560fdc4b05de4fa1bbb879ff
MD5 3ce08cb258ca433c784f571eb1c0698a
BLAKE2b-256 99eddba0dffda39e1d17833b81ea79807070e5c3f326842f6ae33249ccf0d7e7

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3b2d771e882bc73678953125a024a7b179b6e451476d4c6d2dd806ce480228b9
MD5 7ff40cbe3d63fda4405e481446920d0d
BLAKE2b-256 fa8d37c13f84fcbb2a471d3d491f47fe34f17f7e70d0ebb1276029a99ae95e52

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e2cc475d1f64d5bed16ff98f5f04f28db08cfe2668aeb25a36b1a255cf835b0c
MD5 51cbac301e3adff22d569b45e76c0807
BLAKE2b-256 e5bb9aa295def0d7025eb5ba098fba7ccb13e6acbe33343b819cb5f5e46ec086

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 df1337a466bdf625ca59ebf4381ad2e56dacd784d5fd8b8c4fb9cb139325c62b
MD5 3a4dc33df662fae78cb077f042f8c0a5
BLAKE2b-256 74e5b04222f9c446ee97c98d17955964b9620b0329e38302861faea18972d7fe

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 95f15716c8648b1661123226426d8dbefc5151539f68d6d87ea220bec3e29355
MD5 91bb0941cdd838e969aa3c42a9b05cd7
BLAKE2b-256 1da817e2da50427bfced287b11fa3263dcff389af35b6e24373024270c81c0fb

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 809e34ee7ec0ce79f071b5c4c58fe2469231a1e25331b3cfa678f2e715b0409b
MD5 adc2fa771a8c4bf84a435a32019ae44e
BLAKE2b-256 1705ddc00abe0cd87ff429bf8b731c56c5f0c0f363c4506fd148d605518c3513

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 cb1c74aa527bd50f574be17f326fe0d6d9b25a29ddfa4b19ea2abb6f114663a0
MD5 507a285f56d192c60c68d1cffa1d7b16
BLAKE2b-256 850001427472d60620922092a2f7ea4292169a9386afbcd504e6448140334d32

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 eb55a7db7f9bff9f477d5ef8d9a6a09c133750f3e85bbd090955c9724629cad6
MD5 0a6e88c25a6331f98b6c42b12d3e37f0
BLAKE2b-256 a1e32c37bba4318afed0060c9821ac1983237f68d19f0766311f711891e5232d

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 8d1d6d505f334687a4f9aff91f78a3f6522925405c5a70fc5d60f8971fc062bd
MD5 a5866cd990840c656dd68cf05472e9fe
BLAKE2b-256 6b666dc00d8c06d7be0afe98d28c636ab93cb2c270437f969dbee401cd1e9ef3

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 11a149ae2f061858c9a2642891b28f4e2fbf55917946a68175155e13ae7a15ef
MD5 2dc14ecc73c178c2b15b0fdb8471c8ff
BLAKE2b-256 620df81afca325fed2d92689e211f4e588fcdda53d0194db7e6721f7e2a976c9

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 51114fe246869f8f35e57c49f3b89adcac6d91eed7733a77e23c5aec029b8878
MD5 bfabde06c103acfbb05c477297df2726
BLAKE2b-256 6baaa15523c04bcc697f6334e4a19950f1ccc62280276032480c66ebb9c8f97d

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4f8af3bfcef9c953bed8ff77518d5cb37c26a8cb0150900e9c2a6d02e1885fb9
MD5 d1d67acd94e26d67e6fb98ce63da5a68
BLAKE2b-256 efea65b2efa0c593846bef300b39e5e9cc5b001b39a4570bd42116980c6224ae

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e4863beba3a0ebd137369a6cbfb6ffb83e0edb18b7f8eed424446abdd8303cad
MD5 ca4adb2ddc6734a6907a44f3451b3187
BLAKE2b-256 bb9d61c4b61006235f29a2d622e1d4d1b84cdaba02fa7f62f41731aef8a6179e

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 c81c3a104011984acec4e6bc3aba34cfa3a037f6455a9eeea436b3d3a24c5dbb
MD5 dcef94d3fd8911e26a577bc526ed714f
BLAKE2b-256 8b3bcbc2a900a07128a22f988430e54d3b9394c958e091f79dfaa986cd96eb3a

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 9ee67e5af6ef7fc92f09ca384c0ca80b367832f13590b5d2ed892b80d2e4c01f
MD5 53ebc4fca5344b90d564ce499afbf121
BLAKE2b-256 c64efd385920f652f7473929fa37828f37f81aba91326da7d5e74f33a84c5ffb

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1047af2a123858e73090901964ef8290378c413662afe2a83f18e414eb86f205
MD5 a6cb5495df6eb137d857f94e3baa9642
BLAKE2b-256 04cc6e34314d9ee4ca3ae63a93d590b1a1c4c7b147a0d0d7c0698e328bc02453

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 add8bfda82e8ca8dde8336c08e68d1e49f268f5e3377067a8cc9294c02213419
MD5 f8e014c41b8933fcba3e1dfd64be661e
BLAKE2b-256 b89bb8a252549cb9a79929e3664a6028975bc7c10903efcecc593eb8b535c9d4

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a6f59681d68bd010cc36dc2a43fcbb95910127a04b3fc240ceba1c4ec8e906dd
MD5 0ead14f3767f83264834e6323af049ca
BLAKE2b-256 c2d647c4e28f5f60a3b8a9144044e8cbd05bd4c5ef45b1a1dde0a94150acdbb1

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 6959f503fc0794acc3bf3b975800f61baf64a598986902acc380b20bf24aefb1
MD5 30cc895cae41e96561c5bcb543ddb240
BLAKE2b-256 b77da1f0d01250b751cdb97f01b3dd28c7aaa76858bc26d7c48f38a02fb04acd

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 74732c5ef7c2386f0f0be1cf9145cdead06a1fd092848b0ddd2d8d45795586b0
MD5 fd0287c2ad224e4b3be570f0a5ad6c6f
BLAKE2b-256 858d89628a18101af69116f647192f4d217fa585d15fb0b62c524cdda585779c

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev3-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev3-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 56f2e6409d769ca74e897e09ce01594776659871bfecd9a06dcdcbeb223c000a
MD5 68f1807eab2f0aed0a452fd35691f6a2
BLAKE2b-256 a2ec9e61fdc1c0f6022b52ee2a0638b803ea2882d17f2fb5f4b4249a6133fb7e

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