Skip to main content
Pre-release

This release is a pre-release and may not be stable for production use.

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.

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.dev13.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.dev13-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.dev13-cp314-cp314t-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.9 MB view details)

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

python_sat-1.9.dev13-cp314-cp314t-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.9.dev13-cp314-cp314t-macosx_10_15_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14tmacOS 10.15+ x86-64

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

Uploaded CPython 3.14Windows x86-64

python_sat-1.9.dev13-cp314-cp314-pyemscripten_2026_0_wasm32.whl (1.1 MB view details)

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_x86_64.whl (5.0 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp314-cp314-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.14macOS 11.0+ ARM64

python_sat-1.9.dev13-cp314-cp314-macosx_10_15_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14macOS 10.15+ x86-64

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

Uploaded CPython 3.13Windows x86-64

python_sat-1.9.dev13-cp313-cp313-pyemscripten_2025_0_wasm32.whl (1.1 MB view details)

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_x86_64.whl (5.0 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp313-cp313-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

python_sat-1.9.dev13-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.dev13-cp312-cp312-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.12Windows x86-64

python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_x86_64.whl (5.0 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp312-cp312-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

python_sat-1.9.dev13-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.dev13-cp311-cp311-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.11Windows x86-64

python_sat-1.9.dev13-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.dev13-cp311-cp311-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp311-cp311-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

python_sat-1.9.dev13-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.dev13-cp310-cp310-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.10Windows x86-64

python_sat-1.9.dev13-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.dev13-cp310-cp310-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp310-cp310-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

python_sat-1.9.dev13-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.dev13-cp39-cp39-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.9Windows x86-64

python_sat-1.9.dev13-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.dev13-cp39-cp39-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

python_sat-1.9.dev13-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.dev13-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.dev13-cp39-cp39-macosx_11_0_arm64.whl (2.4 MB view details)

Uploaded CPython 3.9macOS 11.0+ ARM64

python_sat-1.9.dev13-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.dev13-cp38-cp38-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.8Windows x86-64

File details

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

File metadata

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

File hashes

Hashes for python_sat-1.9.dev13.tar.gz
Algorithm Hash digest
SHA256 d739626943f7ff0f2c71f54c88f9710ece7efbf4043a1408d6f7e807abb4fde4
MD5 bee9dbf432bc859f8465701b32ca6e6d
BLAKE2b-256 66f4932d1d49ffb0755516a3a76ada2b0cd3c61a23af654813f66781ec919e8a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 8661bd9719601ff7ba44aeb9cb7061ea08ba278f76f7f795a9d32e5c2d63c0b3
MD5 5b4aaa1c7c4eea87224d6ddbec9041cd
BLAKE2b-256 261fdae2f9dae4e8d6f5667fa52224c786ad779bfc4c7b091f9cd193cc706246

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4582dc32383e600585cd92411dd731891b6288e445907c8274907aacd92b219f
MD5 3878df28c341f7d127db07f265d23c2d
BLAKE2b-256 affac878ba213ca3540d5abb548182c9efb665a8cdf6b67cd34e2b37d951a514

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5d79a24613e8c0f70c88d6fb45248f7d3337b24578fc32201f84b4c692507cc8
MD5 d0302d89e6127885b0755fbb0e47fb09
BLAKE2b-256 00bc86bcd2e7e4cc108bf851982d6f0432a9a6c07d8e01d8b93a04adf643c026

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4bda6bb1c13bfe5a921568448750b43fc22a8f4f57811bd4f1902589d9c10669
MD5 7038aff5e8b5d054295fb300ee235da7
BLAKE2b-256 08c7d25fcd50822eb2a8725ff6bf77f1666b08ada8980d2620b4ed9069382329

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 fbbe1074f3860d5612df1e16f755af1e44a83e6ccc04688c58810344fc1a93bd
MD5 966e9db8d6bad8f6cc97c5d966548e09
BLAKE2b-256 dff6cdad3ffaa543689df662a07c86dad5300858ed99b7a088ff9ea1106a17be

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev13-cp314-cp314t-macosx_10_15_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 0178badec6d42288ab00bb0b24ef5a3a073709a16508cbcb0c3e51e17134960f
MD5 5192fd04dda52bca1f0a4e1a06f6bb79
BLAKE2b-256 abb0f4ab61bbe0d7711773b81bb6ba2dce29ac562646097833d5f9c51cad4675

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 47f66d729139d3950bfe33104077acf71e39ca1047ce76654e4b8a77c0ef9401
MD5 fa6e6cf8698269501342a1ec3351885f
BLAKE2b-256 910a8f4570c0882b5e451db46c1f7de20fe571051a07bfa8c00b3897be9b081c

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev13-cp314-cp314-pyemscripten_2026_0_wasm32.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 420b11ca6f71754fd4f6c7b4eb3d2732fb6c8991b1f53f53f2fe727978118898
MD5 81c30c549ce5cb1bdf02c46b453b4add
BLAKE2b-256 315a06804d832590b7e20766191355528eb6494ad170b9e8135416dcfacd5f83

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 eb86d82b485b4fc79450e5286cc3a5eb99e5bc683463c0788e7c159c766b43db
MD5 2deb8d208fee0dacdb3078341932c2ff
BLAKE2b-256 9b8f912889fed013dbdc7b4bd947a1af2c894bc7c50fda59c93386fda5d12383

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c4cfccf84b2040e0495f9383eb133a6664271f53e15a16911be280697bb91e0e
MD5 46bece7857ed582bdece0002218c0ab3
BLAKE2b-256 7868e7813e6b8a9a39cbee900101156dca83e8d550a7055d767486980daf1b7a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a8ee87b954cbfaea097a6661dfaf3187f93630aaf2b2e60adc48cbea35e73055
MD5 043f48b9592b65c96a379f7d197a921d
BLAKE2b-256 5b6d646b68039047977d8794a488c8f0ad2660c94ae49297cefecfd47ca7ad9a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9c28b84fdcd519f5e0a2473d69b8451095e3fca59802b8946b977ec615a0a108
MD5 1b4f13d6472f33f568471962adbe9d3c
BLAKE2b-256 e089b1d65528724c22a80bb84f412ba91755afc6b775693f967d624580c1d0fa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 80123c1a1ea6e9fd3d407ca4764824d82fc7872b1586592c6066de1ed795504e
MD5 b1fdbe332f1e87fa76a3c024a28a152b
BLAKE2b-256 d43c6b9c0b1155b28be7eeda344dbe49dcfa5be20d796de270b143b567657e14

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev13-cp314-cp314-macosx_10_15_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 5dfc62f35a179c69060e943a94e21ced8f16d5e386817b95a73c45bd2e0ff444
MD5 9011ac641d30ae18a5e19c2a89dd765e
BLAKE2b-256 233da7d2454c2dbbcfad4b6cdb7de2e85c67dc2f040a7b95926f75889ad7fc4d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 eb24772df6a110a10a7b50e8157499f109f21074fbf2e2f5e06988bad0f0dfd9
MD5 64834e71378555c35680415897243652
BLAKE2b-256 c6ee8c13f01afd14b8ec9735b90f961d8fabd90019cc8cc92bb849598cd55a33

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev13-cp313-cp313-pyemscripten_2025_0_wasm32.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 a6f90e1df7871ede2c718ca1ea073456974978683d58820f96113c9469c89720
MD5 f52d1b7770ad42b5634cf94d911b9ca6
BLAKE2b-256 2cb2da642de062a0da4504564f672730cfc95629f36aa4546d7428fb02cc0af9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 d9c0d13f400ab34f7a793edfa8d96c461e21008d359e918edc89c9972eeb22d7
MD5 87c2dbdee3c294e79f47dea6f83866e4
BLAKE2b-256 a9b3286b0a49560b8c1c7df3fe933d0d462e7bd15dfc2c0c266f452b2317bf6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 76133f030cab56e593c087ab78d80d0b7f53af1ad652d650eabf43f433587dc0
MD5 3716ad0280d95f34d2a538eca6fdf44a
BLAKE2b-256 c7f3c2469d4a4ada4d8853a3cf4afb90fc3e3743235b4ff798b6b2584b58a681

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 50d78d0458f7c6a2fc7c56cace3552a809d9e5af6394ccf4d239ad52502dee8a
MD5 cce102346b47d11a051e9c4797d81e20
BLAKE2b-256 48eee8203d83de5eb8692edc63b95e3a4121135dca088c147ef29890a10822d3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bb0de4e9eac8ec7d0b71a17d16950fdbfd8b31e0be5140cf3c4e0e4a2dc10197
MD5 8db51ff92746ff0eb290d4952eaab456
BLAKE2b-256 5b5126a8d0b5ee790374d49b98d745f008858fd37599ace132910930a3d39a82

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 bfa6e970a467ccb2725ab91bd6f3db670504ffc2ca2618c06e98a93738bfb9c8
MD5 87332a1ee950f9fd1a460df216e1be32
BLAKE2b-256 5274cc8c1fe17e27a0af599ebd123731b14f55f0effa5ec6e68939febfc3cde6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 7a736ff40556083f80fd62d4da19df8b51996529282966ccc318f2bdc94aa9cc
MD5 e87f1704c1ff9a4adfee86b3ad385d62
BLAKE2b-256 b4368cc9231d611f8e27472882834f3c02c1bf843faa4229f73ea8a6ec2702b5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 e76ae34fd5458fa6a4906215f3c51326f0bfc8be46cabfd8c7f70645cfd87cdf
MD5 9d602301099e5aa2640dd17ba7b41e52
BLAKE2b-256 82bea05a3171f4ac72e8ee23d61b029a9a8910a1555070d258718880287e41e4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 9bd77689788079a5fc99a3049f7a4c5bdbd948c56c03262828b36da7f8ab0394
MD5 79ce979fc65409cc3415607c1cb76c0f
BLAKE2b-256 e1e8b5a0dcdfbdd31aa95f96efcccd6478edcb0cba0741832f9cd910cb3827b4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 38628091db6b80a3d0e037a8b3ff2b95464c86beccd93062e6dbca37407340e2
MD5 68ed45d948e7fd77bce57decfe025040
BLAKE2b-256 16af7289a92cffccae807e01aaeadbef237a9e04cea860d009da77217eb18402

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 edd656ada93428e81cefad0a58686484b4e0902e8f026a2439bbb725aeb1e0a4
MD5 88b0bc91666f4c4200ba44b029a2d9f3
BLAKE2b-256 5332e8a4c5b25bcfb3b54913a5bca6c4c2d18031376eeb76e809d7486f04db88

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9410d5d9eeaeb0e7a6186bb2d8eeb71262615489038b19ebbd42f73fbed3b5e7
MD5 4d8d38076bb0da700aef8d3020fd51b8
BLAKE2b-256 d84141873d06fcbbc74144d539c831974f113796d442735da8b54c052c647d05

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d51ca3ec842961c98ad8dfb99384d0f3fa23859e5755f78bcf50bcd6e4470218
MD5 c54bf689237487add9529a0b7d661e98
BLAKE2b-256 bd280f2c5165afc1bd47d68d0e20079919bd8275d8e04c3e76825afa3ffb7798

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 4e22bec8b6691811d9131f872ccdf4659a78b0f1f6fe2f63543ead25656b5e3d
MD5 9f6e0856ecf62fbdb63bb9a7a8d01adc
BLAKE2b-256 a41c10a48e08411da22137b466cd61e271307c2a20a331453274bb5cc69a3efb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 64844381b8d2397defe9f6efc96aa14e2300942920a80a3eaded37a4a77fc05d
MD5 f6f0110331ed16ff10c4fecb325717cd
BLAKE2b-256 f046db449b3ef882008664285e8682ef3eeec1e6b2770b26602dcb9ebecc670b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 aba93f35a5d6186713e12a595904135c58d9c62cbb7b997e2263ae1ec0453d9d
MD5 402df1070949f73490ea971dc39682e3
BLAKE2b-256 a4de6ab1aaa04dbe69d30721673064e25a87310e4d23cf0cfec5db18304eae1b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 fe4dd3deb70c91f8f24414c10d50c85a5ab1150f2a03ff4af7e4f0cb99d852f6
MD5 9e8049ab31bdddfa8d9de6a9c2569307
BLAKE2b-256 1638870c84431e3e2c8974f396ab1bd42f3eb3990e9d1861bae7ad1434e5e38c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f115effac4629d43f7e2e5f638d6d671855bc6ecc0b3564bf024f929a2e62c9a
MD5 bd3a09b3ec0f216ff0aa61ace0c6d4d5
BLAKE2b-256 70635eb70edc02a06281930450fbe399bb80fc391d36c8d88b752bde3f07c9f1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 cde3efc6ec1df78c9d2d843a693d8a61706457bf6be60ad9a3be34b7c37934a6
MD5 3aafdeb76941f16daf06b8f9b18e0175
BLAKE2b-256 a0e97091b8b0498802096fb8f1f14ece9aae7629e1ec3603f4e068ee1103a3b1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 607196afc86c8653970b228943ceffc79d4e22fde5e5160b0a2ecb90c345954a
MD5 1a7d11cf22daebaae13e7609f97259c6
BLAKE2b-256 704e7fc8d22889ec0d15bcea6a2d7b36d16176a6d5d292f3ac3f8def499c6372

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 3e294019f5c72c1e768d055e8e969efa11235dab864bc8ee8c1075eb486509a5
MD5 5ae5f0c30e2f5e97950bc3e4f0a0ee5a
BLAKE2b-256 651d0115172cb0d5f7f7c26a5e0b05260e90222f38c7ef7559d1b1edb948acf7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 a4e87a35e23f6367ba0c3534752328a81e7b35db3ae46a2569fd41fedbb7c44d
MD5 fec23a2a9532d303c3640a8af4769fa3
BLAKE2b-256 94c63850d19c331e3e2f30e9ddfa6d8e20ec3975fc7de7c222198ee3aa42fdb5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4153e297aa9493a7fc06d9335404eb0c0c61e0bfd5288f3f81e0c294171a7c81
MD5 d3dff79884066289850b533c5d929f79
BLAKE2b-256 68788c46d216949b5c2ed3f256592c4c1465e0a64cfaea3731cd30067ed9d13c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 08960d02c7e862908aa9ee19351674624e23b0ac584b34b42046e3bad74e0b28
MD5 3f02b3e08cd1bf818a519a1ec74dde05
BLAKE2b-256 cae7f1ec563c369ea7313ffc45229b077903097737fcaf2871bd3176d3386c65

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 0c312a62053f952a841df906f0b602dd7d0c965bd467b5fcb9d942a72b46b8e5
MD5 9dda36248386e7bc2a1658a246c9a024
BLAKE2b-256 c8a3dfcbdcfa04a1717e85b869b972c39ebbc4938789a395fc8886a5ca27ad05

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7f047b573367d30d07ebefba244fc844bb0d5aa2e73bb4286350190189b6635f
MD5 28c77d6e628f0795233227f1f829484b
BLAKE2b-256 e85e6819bef16adecadd406a5b257f4471d3247519ec9238b2ef9c013332f8ef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 52ca2abd3a17b733b87dae8e379053be0b1acabd2a5c9daf9546a8b263c04746
MD5 9bcf22e648ca9361248b81d09bf107aa
BLAKE2b-256 33c418c176d9c0da941c0bebaffa8c6a6c433de355d4099b7c688ca1f69c01ae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 c0f695ade2e0bc732913436e7b85b7e90ac06fdef8673cb9ef0c5c3f751e2303
MD5 301e31a01eb73e3bfc8235e6d3b5e2ed
BLAKE2b-256 74d3be7008cc928c115be4abbdd55f4194ea2fa115110cbe2a3f30d0621343b1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 5d06bba1df093025e6d3d386c6061c2a1399180a95f5223476c642227e967c0a
MD5 c991a7f2719d954204a6a7e587bad211
BLAKE2b-256 0df8fd9c91894fdab39b03d7238876704284f026995444c44ea7364d1a631a1c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4674e213e75227d44548009bc24e803c573fee8f0043be5f8c56e93dc68d0ec6
MD5 e4120e75a26495e88e8d28e90a25c0ef
BLAKE2b-256 0cfcd21b74291959060c0c9e7f15c79d3d87f2130deba993bfb7f16311af515c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b911778925c7f653134cbad882f8530529303c9fd8816ced4b216e8cce957c96
MD5 0f920d356756c0d795bd6c6a22f28239
BLAKE2b-256 ffb055d6a27d532976316f0421478a62701922e55a205d00a474ffec2d84aa2a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e99a1b4d37e60407ca42a45d5edf0fd05f72c4977701143011f19779f806189d
MD5 95d8cb529d23897679577852aeb3170a
BLAKE2b-256 c51ff47967a2e3bca1ec501c55204ca98b2ab956f0bdf1ba7d78bcb892e47df8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 763532ce2425a762e44ec5cafad4022653a01e4a2edf0ccf58c46c8c28efc56e
MD5 4b6ca97ee7787999595813e07f6be7a0
BLAKE2b-256 f95311f479157675a59c1dc487ffa743843609ed23adebf24cbd4f4837be01ac

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 1139ffd332a272b39db33b5d7824d33b44c7419aca25a179e4f49a4bae2cd9ca
MD5 28be99df1f455aee88d85890ea531c37
BLAKE2b-256 51e1afbd91af5d9c65874f54917751cfeb68391eaece6daa474f3a723c15f8b2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 661be001e03d98bf86635b04f2a3b7dfd0cb09ca4fe634142995cf3f7cd85989
MD5 f2da32f8c156290945fef864169ffc5a
BLAKE2b-256 6c71bd38e4d10d4d1042d97f074d503845d3b1e864c703f73121b976b4fa0549

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev13-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 9c3ad9a63bd9ce6039948a9bca71d0c9dc54a526734cdc52c0bbc85f577a11d6
MD5 50c54d2fb610b5ac1ffae9fbd8453b08
BLAKE2b-256 c6d152cc8edb27aa4f6ad9755f4cf0d637d81874d8b2b5b071873ba25a078359

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

1.9.dev13 This release

52 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page