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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

File metadata

  • Download URL: python_sat-1.9.dev12.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.dev12.tar.gz
Algorithm Hash digest
SHA256 c240d7885accf14267d21ec5b5406400815fc0ebd40bbb6f2d3c9c56752b3cbb
MD5 da1573e1198f426326fe31d7deec0bff
BLAKE2b-256 6853ff216d6e3345c0e9d0746e37a3817464464a45ee753625103161fc19de21

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 89bd82704e9bcd1a1050a1c2e46def9e92366aa1d991f44a63318f3ccc8dccee
MD5 116901a82af3b99c06e0e2c1c0f2e262
BLAKE2b-256 42bc8b67a9afd331e39051c11941c4c6ef5ab2a7c0ee5795ffa62deeba74741e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 78720dcc0ec709b3b5ba66af18bffaab5017cda2ff1ff7176cce957e4e982d54
MD5 bfec3b732243ae46bc1a479020372b44
BLAKE2b-256 619f92fa8ea405fffae4808cf01061e38144984f6b512b297c6abc354efa2ece

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3fd9161c58c5a3e626943f83b4a9cef90684f050ffc2015e2264fb50d1011f73
MD5 8d035ca15a841838120013ac3883c494
BLAKE2b-256 437881a6ad9a576e6f23355cbb91dbe0a4964de87dc054b9aa4f79be51c3d7f9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c7db3ba26befc142ea181315e5a114448f0d0f30c36429f8ae4ad31480aa1873
MD5 9a087508051469d7541bd1886917b202
BLAKE2b-256 00188e057bd94ac556e8e51ba42cff23c423cce6c48d5a474e039b2cbdba052f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 75323ea77f747ff965793d344914b8b0b19e8466d43bbc426c9c0b8a2859bca7
MD5 540039e14aaa805f069c1687c74c2903
BLAKE2b-256 1d04f09b9368e7b5869d5c9381be88e9f85ebd5d75d880797df3db7be4ea4fcb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 b3b2713d6d86e920882fe8cf4e9ce66187fddfb8ed31ba6be42bd6691042fd99
MD5 46fb5cb6ffb31dd9bf31d5cbe92d57b3
BLAKE2b-256 41d0a40187f4b1d7015dee587bfbf266bedc5cdd27235f22370a19f45b664f77

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 9c8b6b521149b7d9660f082f3dd899ecbb30120eda2d890e0b7198793b32d21a
MD5 395f57b90e7efa384aea7df0bef1ff08
BLAKE2b-256 badc650eac7fdd154dd73f0e9ec35385a36c30d0110bfe2b4259af2bb6e3b459

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 aa0e25fa4cd51e972830a36368543276c8d364baa4546ea5802f63e940fa57cd
MD5 ff2b9db3a27c7d60215a8bcd54d27833
BLAKE2b-256 3fe29551d44f97fa17c8e641be39ff069758d96986f0c1cd59876e881f6971e6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4e34ca6686d9b089450f7b95465cd2a0ef41cbb3b7728f076faf5aecdc72a836
MD5 3de2a604706465601034c0a63e271a66
BLAKE2b-256 6f219bd3031d747e17296bcefe094cbf9c6be497a877fbdfd29ecf3a238d86fa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 3e1ae6d19e976acd2726ed72ef356546b374b5205315dc1cb1bd76d5d4f815fd
MD5 6c39705fc7f512740884048a1cb7371a
BLAKE2b-256 ca9f4e98948d50e6386fc4ee9802b479e26e3a2f79626a58e3d5b3f22c25b136

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9ea21fd9c2cc7cc93716da21456fba759d4f5fba22f531e252ff038ab259a430
MD5 5929a84ae1471bede01686346bad77fe
BLAKE2b-256 e7f93c820d102be0e20d7773a23d01d01432dba2dba367b5f38abb9aba4b0118

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 44c620e7dbbb5a263e400d6a3ea040689d3611c3b9a853454a2de03ab0b8982c
MD5 580bcce2259f0e157945043a3f945586
BLAKE2b-256 b03882712401a5ca861146cca9041fe7bf079abc20775fa8d3de6ba7483c1a3f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 104e1eb164c45b09275354c2311c060c66886db5c4b7267d19dbc3fe5ef78b30
MD5 8ac1cb26d52e1039832454c0975f65d7
BLAKE2b-256 13cf40cadfc8b840b6f6a97634a50cbb96d9cb21078eb32dbc766b0fc15b44d2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 3adcfe4df622ef683b653aa309103686d40f0c693b0c6243cd1aeeedbb7c14f7
MD5 f25d4ff0f7f97b9161c5dd589c62fe17
BLAKE2b-256 8ae38acedcc854c3074a60c5f671a2cac3baef1cc82130022c721dbb18fecf67

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 9628d7418ef2ee75b16ec9e922c23dc16d6b81220cd64f57aa9e628319beca60
MD5 9112ff8e44666fce48b0f83be0bddd5d
BLAKE2b-256 52476a08fd8577880a0b7b248bc2d126b32215644318372ae4e19b7d60913edc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 bf0938a02cd251b6662c500d86a32f86bf86df97e662c03c588df93fec5085bd
MD5 9855e176dff1bafbbde18d3bb9ca7625
BLAKE2b-256 a8f48172e247c44f0a6590a12acb8d75713f83196942a2c2df714c010430f21d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2671b1085710161b9ec7d1c169a9eab36901a458275c7e9820ab4eb2467488c2
MD5 463a835d64b4cc26a2a4044a89acc477
BLAKE2b-256 f377094d1db812c62416d23a245d52302b1878ba600ddbca550572bf579657df

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 bd3525af7be373c8455083732e76ce30538a63fd838fcc99a1f0f8c0d09c30b3
MD5 88f12a6b9b22586e051f5698c4879eda
BLAKE2b-256 7382c4c1272ed9c92df1d7dcb09dc65ddb38b9118907f8a1e96dead197b8da1e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f611228c4058c88d35ebfb13772b7f000fa1d265712759f5ade98527c09428a9
MD5 3ba8f5e2c02ffaf6328ff3edf493bb06
BLAKE2b-256 f0045ed162aac1c2426fa99b510ae694af20d61867806df7dabeaf6150d7d7ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 2c17aa9ee8903acd6e09646038548de6df769e35083f21b130501b86ee285dbe
MD5 3eb5019c8e95d5fc781053f8529d07b6
BLAKE2b-256 bd3f2c9c4a449133b92cd1d3d963253dc5fdd2ef64a545feaf70a8269b32f0f3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 42e699f079d81e751c8bd6df16482af5f541d65120bf88a5ef99cea190325c99
MD5 d5b54fd1a3c6b01fea44fe9a850a3618
BLAKE2b-256 bc0dbc08977c224aaa4026880d719a405ba6f6277892d6cf05e1f7afd8e3b802

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 8bed3d517869cdeb6ca7dd3ef5d7d74e2000a727424f0d6f0c57bb5f0518106f
MD5 10710b92d4c7d2ebceacd9b4ef48e2ae
BLAKE2b-256 ec4bf7a4da24c992c107053c098907d609f214d32041270806dc069ef6aad229

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 33643077901dff3127b4f68472853005f14d4528dd69fdbb1afcfc5d3d21aea6
MD5 81841e5b7262911e3c66f70ff4a340b0
BLAKE2b-256 9d538353c997a0640c4388b776c922d5c34bd1fd9c4f8ddbcf847537210dc532

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 66804125f530d13ff97e3d945576b55de3e72fa6285021889806b3d8ac7c98da
MD5 b27abcd1867c48c95c97fe59b38bf651
BLAKE2b-256 1d5c8c85373564f34400a4d843ddae66fb4f09417920bc00724b6521b20ff2b8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 7ebb789e8707d44def6b717f1fd5276867ed203219b1c7c81e4a122e7e6c61ae
MD5 341698f20e7a6a9a17bfa6a905871ccd
BLAKE2b-256 134338e31ec61bd07f6e0a7de278b884986081debe3561e3c8a7c87a1b535ac5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 28de9c325abcccf58547fffd630ce9140cba857bf57d87acb82e24269bc8c0d7
MD5 c54aeaf222cc848e5cff0508b2b82362
BLAKE2b-256 6020490beb700b23167dd10e05eb9805d48df4bdc9753620541a57d5563ea13b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 2650408fffa232be4e801aea6a3d12d7c14ffb6570ccda5bc8ad3e7ac9555a0c
MD5 22f9d86a7053833d31ec194296a2a82b
BLAKE2b-256 48ca4e303d7a38733062da717714670cf9a848c02b2af4c9163951d027fd03ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2f25a25c0bf3ee2d0a59b8ceb8b7ac10cbb0810c8fe8e6d2c2b0a19aa0694378
MD5 36caefabf33636410f134b82e6e473e0
BLAKE2b-256 156c1de0810e115e85d6935bba694e62ec55f94ba2b91609739b0448e95784aa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 86f9023f7ce40c3523bc9cc68116360aa474053d073901a16bcb29f77eb6fbef
MD5 629a3182c77ce3e66532055cd5aa361c
BLAKE2b-256 c404308fbfe29399134004502aed92b0218824a90da4d4da440135988702b896

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 c59c6544ba9c99339e0923486c51e7518834d04e0aae327bfced5fdea5880f1b
MD5 adce7e92cca2dc5c0e33e649dfac6c65
BLAKE2b-256 9fe78a4cdfc98282460014666527b44985bf855e5e74715f27f4097e8d03dac0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 a1a3f8a60ada6d1f0b2bbadf88f4d51d5029824306e4600c7c690a79ba058485
MD5 0837d8b1dd4d9ba825ce1abe5fcb8a14
BLAKE2b-256 e59cb1c199cf1b1da9798cc89e6a6160952358a73046d6ed2d2601fc6e8c5f61

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 1ba978eee6a8c78a6526e132797b1b9dbef6df0940ac8942799035ce403bb0ad
MD5 d8d77cb464c805bb7c8b8621afcd8dc7
BLAKE2b-256 4aca4413c7a1df59bb16fbba2788f1276d687c082ffc4d589fa7fc002b866847

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 841004efd561f1a06c7e7057cf01d10c2c3f4a488fba5e8027280e7a3bf24167
MD5 6c1f8eabab9b7783330978e2cd05f61e
BLAKE2b-256 012eddf04ebd00075ac6b5312d37858bcc97876e5fddd66cc7ed73c0ebd3be86

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 519550da57625d9a8fedc954184a214c42c5e68962860e434e41c3c9129a6ad9
MD5 91adce7ac73732438efb03e84a88096c
BLAKE2b-256 e8f39e18cb67be194a1577aa1b8288e4fa8272eff0f64d018c7329f0b102a26d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2abd46d911b025d2d166ed03b0a7a3345ef45b5acca937af5748be3b73279912
MD5 ba69d288b59c8ed331e55f9ce47b1528
BLAKE2b-256 de0461f495d0cdcb61516d66352e3067fddaee439570783420787ca4738ba578

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 cc917a8e1ccc35eb90443b4a3a1ba33a849ebfe0673fac2995ac4cdb5804c6de
MD5 f9ca3899cb45999488787706ec6f0029
BLAKE2b-256 4595f8a5e266b1f4e2fdc3b15001322c09a34cb0a3c7c15acb65c05b3fce127d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 0af0330ceb13647be6f3617a009c643682a1b246b5bed9d1262564fa03455ddb
MD5 752ccfb18e94b37b8f6dd03d332da2ca
BLAKE2b-256 cb6081b18fb492d651ad6b8e04602d339498ee08e968d59c78b3e5698dd3dea3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c627ab36280ee42c74155775c33839b5fdc0c7b4553e44791f36c722caa3ba96
MD5 215498428790fb021fe3b875256581e9
BLAKE2b-256 b73829e787c384211a30ac9a102691a7812ee116222bef52e616a6bd8666e64a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8838d1493e316d4c912457f397d2319ae419d525439d7db4799163ec7ed1de6f
MD5 fb07a4ebccb01975c6b20edd40190eb3
BLAKE2b-256 275194b290ed1050db614915d992e9e75e4c416d7490af1c9f6863bf95301b10

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 cfa5eba25230899e9a6182569b9b412b706fd2ec210e38bd2d553d3b757d08fb
MD5 650a1e0abd992a78cf209ed4f2007424
BLAKE2b-256 32d95745bd39d815e4a335b5c9447c1dedc72dc9330d9072b35c1ab345264b9e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9411de6e0c109cd97978427749b8c7c441951d176edf698b4578ebd882fdc518
MD5 99ead23a44ac23d88679cd4b467c0f6c
BLAKE2b-256 41beb9cb839f7897b982302cacb630684257174458cc904ff2222e6958a7f4af

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 b767991a0a925dd4345a4c01042a8145472ccde861e1c1fcde22a1e6313e8346
MD5 f0c47a7ea52c340c4703ae85239e302b
BLAKE2b-256 bd5b4c11dd5a181d534a3f6dede131b4fe468f30ab1439487ed5ef258fe46e0f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 4f91c597ca9fc0e809aa2d2fdf4d41bfaf260658270928b5b40e8cd9da372507
MD5 29b89d02059e78b7effb5fafee6d647a
BLAKE2b-256 1f9735d50c022b3074c695dbee8ef52085f45cc70d9d69f96b322841583170a6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 509d795f9e74a49083db48c00e0dede0cf7dc77214bf426fd4339ffffb3dc5d9
MD5 f2e363ce678f958d82c29aae2867d086
BLAKE2b-256 0b138851fe98b6831e1b509439310c623a48699380e63f6dda98523f9188b1a8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 102aedcd5cbc26ba1b8ae7a9b35ae6b6d0ab79d1360c620f23f4b77ddacc13c1
MD5 4a2ab608662b8c47cc5aaea2acfacb48
BLAKE2b-256 cbcdd8a415e9a3a0630bcda5eff207914590adf6cef8c228879585f1d1e1d532

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 5b45d091fa5ccfdadd3a5d69d423448ad4385cbbc298f3fd3e7995308916f5be
MD5 21bcce667e94e32aac70223fa3a46c9a
BLAKE2b-256 85865ba723704bb71138bf9cbbebb7d04b20109493e98c3cb918f8273ca68b50

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5ce3b531c028ee6079ee1b1a571cf26f7f22ef0b0c3d5b32e10020be19576a4c
MD5 fea989c86bc58e2131071df2581c0b35
BLAKE2b-256 86cd4ef6b211e6e1a53b33a31db87a97822ab6d062d8a4b16bfa83c8d099f9e7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4394f7d433865eac2b44163d2f024053760706613722f306d6f7518873048e5b
MD5 6b59ac1050ed8e2e9337f995527ebe4f
BLAKE2b-256 9f3ff48cb05a27f24fb68e9500ffd7ef844121b7bae05eae28095b8c7d336c66

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 9aa752d020457990c88e7f58b824b96b9fe874806bcb97c9fb374fad7867d5a8
MD5 aabc889d21bbe2f3a02d74286296822e
BLAKE2b-256 38a05054eafbbd1adb6d233c564bb38944650581bc91115d4668df8438054aba

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 a5f5d05220cc7577082abf884a2a61c76cb9af4b10c70049e84955b81f23f6cc
MD5 3ae01eb0017efb17c8d4ca6c86b2f50e
BLAKE2b-256 fd8c73703cae41d75554913171f8a0c7754caeea2e7433100e5f550f8fbbde8c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev12-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 a28b3b73d42d27c20da461308611fdbd0a9ea119cb15cbcc36cee850554ff19b
MD5 cae340875868b6d3a8dbd490d17b387d
BLAKE2b-256 9df08f47e731fa7b8dd064bfc4ed0a38e4b8d5467cbebdaa7ff6ffb8cce36bab

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

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