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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.9.dev11-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.dev11-cp314-cp314-win_amd64.whl (2.0 MB view details)

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

python_sat-1.9.dev11-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.dev11-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.dev11.tar.gz.

File metadata

  • Download URL: python_sat-1.9.dev11.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.dev11.tar.gz
Algorithm Hash digest
SHA256 2ebc24c770472db919782594fb2db0da2b7aa188dcb5ac26368c2152da1713d9
MD5 4cea66c35241a115ea6cb177ae8170bd
BLAKE2b-256 1777b0f93fc96886db720618219e771b252aefa8174cc61c51b4fe84659420ef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4bd8b7c50d68fc43477b09ee7e4efbb101658e36b28bcf5f0eb7771ba064ef6e
MD5 075de259e3a74b6d56e7f38b2f902bfe
BLAKE2b-256 b84dfe0d60ff7fd674e764e6f129d77a26729154c430743b27313968119a5691

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c2d64da6d4be4fd9bab4a989774d4c8fc63c0ee587a3f2a6c9ce107b7503ac6a
MD5 214997a63bfec4bae776dd99833ae514
BLAKE2b-256 84a297f8b2d86449baa011bf5d2e97be147da61cd379a3dfd3f8757b9747d448

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9673cd0f0d1f9f97544c3a953994aac632295b9f4718a08558bce186017c786e
MD5 4ce5d4dfc36f60cebd3a67b0a8996145
BLAKE2b-256 d934f67e420f1c8bb822d32482a2b1e1e131d5187ae0d3f5604eb676729f52e0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 fe6d1d44a7d4fb670c7f14b52f9faf7a928ef05d3d6c282c4d9cf14f6b3a33f4
MD5 387384611cf89c6970186ce41d2bb22a
BLAKE2b-256 9becf7fc73dd4ec93b184b68303604b5a0d2fcd060d548c7b9f1baa304b7289c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 db9e5d7dde5069b6511e33a6b2f149585603217b6c4d11cdadf0b9d75cd1516f
MD5 e06377058156173771b42cc53c68dbf6
BLAKE2b-256 efa3603335d2b2eda8d4b26486b6e3bb88535c7f5997e3b94e213a458f32cf7b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 b4c535dd7e863dbaa52c55c07466bdf3ffa9bf4064ccc3b2dd428f41bb401440
MD5 a3a5bc82b6f51c036c8364bcd5c84ebd
BLAKE2b-256 768ee0324e348e58febf81c672c359c7577524a64a7e5f4c3e37e1f3fea14023

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 b230260fd9009a9bd0c348f6540b1b034d896d6e3e596508034e2ba276ea7f0f
MD5 2f86049139cbdabdac97854bbbd223f2
BLAKE2b-256 ce0a838bc50bb81d584f9182e16279190ca1cdd7a88cf1f238b3a57a2f6c8e54

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 18c581c52dd22429657b6d245b84240e795f10c4f992b739c6436a7476b88c0e
MD5 637b3d269fae13c96e45e93082ae15f0
BLAKE2b-256 772a5a54859a29a460617bea773e35e01a3da51801b1ae73bdbbdd778e2017a1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 82d4312363996ccd35184a1244c114ece5145feb4a8b0f9d82e476af35e0d1af
MD5 c1c3bb3020aed02e955f9a4e44ca6630
BLAKE2b-256 4303a5ad2d43dea273161bcc53045e0ca039289f96f19e902ef4cd279f4c059e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 204f94bbec1ca749e078b0b96f5e5530cb72f8bedabcda63c7f4916b055cc2fa
MD5 0ee8cde440a5f65a8f7e4573e804d52a
BLAKE2b-256 8f6e1fce84b286a0f5e42603a838a234ee5f45f1686a03ea9324ed3974def934

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 730274677c6728ef5e536f1a168b5cf6b66d1190886cdef52ab7e8b53e9e0fd5
MD5 9559ba955f0614c7a4172cf5fc90f993
BLAKE2b-256 b3b75f5e4257d40376cf385944b05385dbccd8e9d98341565975729f2034f468

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 710072c2d8f6e0b0a701adfa00426db700477c2d16739284a8e44505985d9e86
MD5 f4f76696badec2aead4b90c73dc4ef2f
BLAKE2b-256 9a2472787208c7edcb1d6eeffa79476a0001f6029d1fc47007ec723e76a9fb44

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8c0cfa2bc6a2d26a2bdfd194cd03a4d7112d2f23d75e3bacb82f021893e3ee4b
MD5 d4cc75297387e2924195a95623933520
BLAKE2b-256 ea21aa7da71509a49b1ab2af68a743dd11096d6fdea65ca2a7e6faae3be598dd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 cd59fbdb4bc9cdd3a504fc88dc54457c2376446440555a6b41dc4b5af73b95f2
MD5 a81f91a8edbdd4bb4865095006e8d1c0
BLAKE2b-256 548ed3c55e8f581dc4511ba2d678055ce374b9847922b34dda80c0e1806a6715

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 98e1385c9b6edcb56471880362104d3f0be4ac26f9a21052b434ba0a5b44be4e
MD5 6690fee998aa289582826c06c47ae67e
BLAKE2b-256 09b09957cd46c874b2f6de9c860cdd7bd240b7a08ef81a71616600b085d8ee00

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 ccb50319bc34ad80917d48fd5fec125fd505ac5436af1a4f5d99098cdcbd38b3
MD5 c86f4dc4d3b2199372730700e0481b4c
BLAKE2b-256 ad13f17d09a752c322c50ebc40c31978b9814f12dea607643a28d29c9f051325

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3aa7f0e3323fba8f1c63e41ed37329ff8a0becf9914a6bc75c745d6d1dd6032a
MD5 40d41cd6adc0edc4122e9642ccd2c311
BLAKE2b-256 27768587929c1ab900b1d50c87a14726ba0fd5641199c3dcc1e03aaafb8f81fa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 57201c3919085eac11e764a76a3f6e4cd52437f644af9336bd4aed1d249ba671
MD5 5ed7edf6506e84187501a03bdb0f1d70
BLAKE2b-256 99c9eb04b15413507355829b4f37af74d17f8025d2b28777e21279b2b8aab25f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e6962f8a9b526d9571c7ff8c8002805c6c5c6b1342403e1a97257ef7fd4f7db4
MD5 594b325f762635938d792fcde36ef50e
BLAKE2b-256 72b753499273299e30dab60fdbb1d0bd9717468f935de060821b4d571d839193

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 88b9547907ecaaf04d5ca648714d7502a7ac37f4a4082e429ab41baf81361976
MD5 3267ab0fe52cbcd73ab0b7574bfadcea
BLAKE2b-256 1d82ede8992d4637d83f5984b12c333596632c05de8d7415c7dc42aa1cd555e8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d03ffa1556f3f0cd6f2810d98b8138abf7473bca2cbbfe24bd2f9fa6f6f6d3e9
MD5 e523eaba6c5a5f62c20327cfe6b955ef
BLAKE2b-256 d36249472eec424782955f7878fb4766ceda2811d7b4ce553e482fd51a39b66d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 6fbfcfba4b043dad268f3e4d1e4923ab6ba62a1ad353547c2207ae2fb1cbdd73
MD5 ec584510f423cc3635c9ba217d7078bc
BLAKE2b-256 bfd5c0a1c7dd6bd3af5a17eb47caffcc1f3271a543cb201a0f8f90165d4d546a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 f5e2ad7e5c1626a607091770783770aff49ce7749887fa3cb1a0e86ac4b482f5
MD5 ab11569651c7c56cc25233d83b8220f7
BLAKE2b-256 22d311b2d761dc1a289b8189b150f93905e108fd80f612372e886007a5aa67aa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 70773baf1c76ee18eacc71187e2c6cc9448fc36def6d1767e563c8e78bc6c854
MD5 738d1529194f5911f65b45c29fcaecc1
BLAKE2b-256 50f62fc35627b63a779f7ff5bfa59feb8efd7785bc99e3c9a837994dde1aa39b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c8a63f10e96ce0fbf08e7a48a80a364ed3d0bbe654af44d76893f4d3eb37e585
MD5 2be7e127cee2507e02a2d20e04c0fa1e
BLAKE2b-256 03669b516bf8fe3653f724cad6d1b582d2ac0b257b4092424d81b92359939538

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6e1682934e30f9f314525d5fab200f0d6c1329c83ba74a35219f4b46e29a4cfa
MD5 b400db7fc5bbd90d34d2a2e1da80e297
BLAKE2b-256 d6e3f61adcdc8155823d407e4aeeeba1eb7e639717dce864ab59c65ab85849b2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 beb16f93ce3ed9cfa36359dfa77f8817a6c75b68246263dbd5f66bbbcdc13e28
MD5 86d359135dece349a602e04c383d5452
BLAKE2b-256 d95f3fd21069bdabe0e842823dadc89f2c356f22cd04ddabf709e80f5f55bdbb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 a6410626333984fa384c3e90e57246675196fb50eaa4cc7a1721e8091a389aca
MD5 6caf3ff3486f551f76085a902d1d35d6
BLAKE2b-256 ee0f02c1d139644f5c1345c6bb3be102906aa178b43a96ebd13455bd516fad84

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 100d79d6819ce8ef87551df31f88794adfe46ff89ee7f6082e75a99d7b2595b4
MD5 5b30e22ded50f07b6e8604b31f0d5677
BLAKE2b-256 bd07343c8124b093333a28b961299ab9ef92e460fbcf934e7268843e14864f76

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 e8383de4df9770c2a87b0201dcbf1c35e3121c965002ff8f6b6b57a202f03cd2
MD5 31b030b43952711ea5ada663fa52f64b
BLAKE2b-256 2c8fea005eb2b786e18e237ed5e7f19fe8b0bb4f9c01cf2cb635acc54deb7bcd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 63b3c97a00da5439d1458d9453f72e4609c0b778007b2ed76fc1c6acb6a49ce4
MD5 6f017f9ef7362229cad7fe650fbc1b6a
BLAKE2b-256 e487521cbfbd8415f4d8dc8854747389a09320525da236cf19743d77bfac9ec6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 f44426f291423e9d6f37f9a049e2dbdf2eecfeab7fadce22e48ca82282548a64
MD5 81f67e18507dfd8568885f9178ee7444
BLAKE2b-256 994d851c250b4de591183a01f23772ac640f5b56c69555d793b4542d4870ca97

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3a3ba501fae98464b2b8ba3212b41023a02640155815672c6829377615f399f1
MD5 4d37b8b68328d8981ec55d01d570f226
BLAKE2b-256 1f90a1fe23ef052cba8414786a784e8f7bb9d3ae72bf20c7095949d1f252182e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 03c3fb941a926616378c26094dc27dc28a1863c14eef627e79e9eae3959a1301
MD5 a46636ec1e960c419a6a9be92b8afb06
BLAKE2b-256 707f9ea966fc27de4ccf5f67b9fa4a7b5cd52a5e57b1f92858dcfa7c71761493

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 71a452ef2d1ae242474f9e8c92fa3db0fa7019ac484dd163624f4139072c23b8
MD5 1985a9302946370b9d778234e5527796
BLAKE2b-256 875e9b741fe0741a159f498d9f412933a6bee0a0e46bdfcbc403b538ee280bbe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 6b51c001f181093d65784e69f4ff326fd87f66c64e9bd2d930481d577cc123d3
MD5 d343cf94d1ca0274afed2f7b5cc9155b
BLAKE2b-256 e7f90685c1699b5c2e95a81392f6b1cfab8940b9c9d1461c1561d75d80a1dcd6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 d72c953f8069db94d98c9aefb964778ef3e88e618648899cd23eed327d57a25c
MD5 7c7219fecfa8be7734d5286fc7d7d4c9
BLAKE2b-256 18bda0a502a81bd2fb9252b09357e082950c7a775967fc6ab6615dba1cbc8393

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1d9988991c721eaaac5995eb5850d6319b04590e259231d61b7ee52b3c93bcb8
MD5 2036a01ee50a5281fa173ca547d4b1a7
BLAKE2b-256 b52af839cb3baeafeaea24b481a63da47d6a492caf248581c4265f3a8fb2c3b4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 1e76461cbb5830952239ced0a287e2e82b0fe892ed35cf6d3a88069b6c8806de
MD5 16b87206965c7941727dfcd3743df7a3
BLAKE2b-256 c566757501d6393bd8496fd3e0a3e26409c65121e25a6aee50eb69325ade01ec

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 51b2a9103c1241801ea02b9d9149934df1d2e9042565b79bf752686afd3af28f
MD5 c5a31d958970167389f878e829383b56
BLAKE2b-256 dc68d872aa0ff84f25eea7ef9bc5fe0d122bdfb8627315f08d86ed5a6fef17ec

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 0f41136f6c507734458e3693a42de60fa7393a831ea0a5a92a6ba7a973fba3d1
MD5 d9f1524b3d7535c0092e119403ff0b55
BLAKE2b-256 26f50f622ffc0294c4a6d00d281376fa891a2f864e086de532e8ae4bdeeac479

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e4a5d438d3b1d4793c273b72901b71037e708489ebb4409ecbf59a147448fd92
MD5 2f7881db12ba87cb914e07f8f038088c
BLAKE2b-256 ff856d06b28576f5b550aecbf8ca05e374bfceaf6c0f0db897b7acc8ca917d24

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 4bf281e02fe0af1b5734064c8993001629452c25254c243e5ae02e1f23828a6f
MD5 80853b0e7ef52e2c862872db9b603900
BLAKE2b-256 1e65f25621315590eb92670003720ba935a843b6a4f035a56b7b6fa173497938

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 93dc9e3b03979f595069db1e0273f785e4bd0b93e83a84e2a37b05cb7113bbfb
MD5 f4f5159d7d625ccb8dd46a75e76f8540
BLAKE2b-256 c2aca5231984165c5ebfc576b3d32f80fbf602586bbac053ae79fa023eb01f06

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 fe792c1ab255fe7003e1ab6c0962f7a12059f96f10e15ae81bfbe2c3f2e3736f
MD5 18bbac2ac64511436f97f5b14c9e3963
BLAKE2b-256 2e655e9ced118ad901d0eb9456246270fb58e34207536bb579340df084fa6cd6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8e7738ac3ec7eab3a6b2ac4955d9f37cf23db8040ac571647a19a31c9dcc7ed2
MD5 929aba986d2eb8dcc0607bc19c03ffea
BLAKE2b-256 44745ac40acfb7111bf1d008a4bfddbc357eb494db4a1cd996694a13271968db

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5c81354a9266fc1d4c551abf3902d3b5018f2e2591e2f8b30cc49abf9efd4235
MD5 04a824a02eb8cb4f862415ee181fe496
BLAKE2b-256 2a265b5f09d8de20555c0c2002d84a2fe4e1397ebe9ab361535cf7600f43e535

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e81ad7f13f3464fc0136e9641d069bea8727d66bd42a388873e35b72d07ae31b
MD5 a6ea980255cb9f7baf66424122a6d3f0
BLAKE2b-256 480ebff40151b56f7f8003042eb73efba4910423ab1c7d918d2b2adf27cfe8cb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d63b77097a2d8556bd6e5d13f701eda8444b771c320f67de68f653c460fd111b
MD5 5c5600f40005858020b2db9d9c45816c
BLAKE2b-256 171802d15a9e5c226111065d32841227c4fcab8bdc88efae2ff9875d58ae00f9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 97eb02f10a1faef74127b42aa5186f6eb7f7f0d8bd2302be6fab569d2b581c30
MD5 b57bc567db159f093cc2c08856d5eddb
BLAKE2b-256 1f6cf9033c59c2f69e062c3d5c1c7734dd5c35fad2b60b1e322bb7fe1e837716

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev11-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 2f34886c83151980802e23852d617ef77fc42b528b1360419512abadf7b79e4e
MD5 89a2b129d9d8d2b9d379a83f9af24505
BLAKE2b-256 fc39f7d1988d0b20d2463c89e3f009a8d784904a7a8cec11fcb6a09b68c7513c

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

1.9.dev11 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