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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

File metadata

  • Download URL: python_sat-1.9.dev14.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.dev14.tar.gz
Algorithm Hash digest
SHA256 5acc18c589d8fd8e61a196d291398b90362654cc5d9a26f081f9e2c0748dfe38
MD5 fe16ec1eee4fccfdec7cf41b06759121
BLAKE2b-256 33a09045acad2a91aaef5d7c9e749750fb9dff55886c5740315053d6fb08a7c5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e7b0fdc48d76976c48fe64a4d60301e7e08e5d56cbed48350748b06e18ba0b33
MD5 058a6945af88d74d4c921928defa116f
BLAKE2b-256 8bf4f1fb84e17ea0b5795d7d659d9c7b5a7482cf437a4186b0757f7c18204ae6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 3ab0569d7ece86efe9240351b0169b3e01ebb6da47d7625abe2dbc347086189b
MD5 9852170e56955a7b413cdf6902558767
BLAKE2b-256 8fb07d14f79331b210a5d3bcd721b5db4ea28b4a9aa9535113904e9a087d09d1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 f7bc2badd4b6201be75ec3c0f008b9dc082958c203ce4cbad538bab9ae85b642
MD5 56af5896c930facb1cce3f444ccfbb75
BLAKE2b-256 25742cfcc2da86bc9e1db66979efa0ad9f4c745e4e94392e6b4adffb536d2596

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3a3477f096020482ae0b46413f177862eb02b757e5f6852e390459c61105a4f9
MD5 9c7e4be0891ffa388f832dd026327cae
BLAKE2b-256 79fe4c3c376baa6768a3216e130ad94acc62d4447c339c008fd8996f31a88566

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8572ee20920bd432b9aa423c7590c176ceb15f657519d5321ab0946d58702794
MD5 e56aca12d351843835d78cb24bb8eb44
BLAKE2b-256 0217f89d05479378af1fd884b373ba636adde78b72d46cd57f49e02781243a32

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 5e11953d627f7947f9f04f9bff02e807c2bd2473c56dae016ff656f6744975a8
MD5 e818d24877e4d2ba947fa80bcc11d583
BLAKE2b-256 c7e3eae6b7b865c7bf0d64efc466336223dcce5f3349e8241609c0b73d748d32

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 aa3f3dca99bd46be0c7f0fa3f6e09e472ed54998973e42d767f8b1f47aa12015
MD5 c2828bc0fbb192da98c52f7f6206d05e
BLAKE2b-256 ab883c0933edaee3a6803028c6573219f376a0426297173da03fbf33d3665948

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 14cd76ea1c9a370546a3e9d6a509e72c537d92e090d019967ae8ee0af9d46fda
MD5 fd9ffd18bc5eb516b4c1a662ec6e47b5
BLAKE2b-256 4dd5deb4330d08c0c205324ce39db21191ea173fa794db84cabef19592c284f1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 5fe501e478acb934ded417bcd7b7a4dba533398a1f2efee30f83de8b6d6d1295
MD5 57d1e76e03b6cc9273e06875f0d03ea8
BLAKE2b-256 deecdcccfb078f6c4e780fbb9033068bb3d75b2c46478382d9c07b85ca11b50b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 30928893016d4f151dfe9d47c6d67b9879ed85c78771816fd631e4ec79ce6d92
MD5 e0f54f99b4efb6ab479881b9db3ff90e
BLAKE2b-256 bd1b05dc942869aed37f5fc2640b7056e56ba5e0a055c2a43775822ecd21efd4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1d1a9ccfd0f8afc6ba4788f6b197ca677013a3333a97289aac4e520109c02776
MD5 791f152ad5ec77e1a6976433e21cf15f
BLAKE2b-256 69fde69a6951aea0470adcc346af6a1c7c58d6441ec5289b584942f2538c099d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 f7388c80c7be41e669847adc7917b2716b52b4d532c924c73a21602e819c2cae
MD5 050cf5d0f38cef0f1b684f73b105e05f
BLAKE2b-256 78bc3a87d8d3ab846d382dc09c5468e9ace3d18678e1f68bba65a6c1bee2367e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 1844f476fd8b830ce915058e19eb41b7f856d2597e0de28f825bb92494ec03ab
MD5 cbefc136f8788c1ae6e9d8ca2f12f390
BLAKE2b-256 de76eeb0e2e3701730b79c0dfc777e4c280e1f76c174d366ef622c126f813361

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 97a3f3150d67b611becfedc692469097ce1966b2353aecb964dfc6239a4f9123
MD5 f9eebda186f27d83897629e1ffa6bdc2
BLAKE2b-256 b5c0edcf9df0a2681175fdedf7fc114966ec86cf64a49fd347f7202b3d9ab9a2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 33a1be1cacc2d1523125a6f596fb2d1e866f1d2e751346506ee2e8573c0e2424
MD5 3143609432271151da4547b55fe7e6c1
BLAKE2b-256 55234256bedd42cb533a87fd8e4b01beb6bac1ef528720aaa156a927583ebc70

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 7d53e2010f830634a2582e80a71e3577f6b287101f907a51ba235c7d97a19cff
MD5 3124786bc9a59777f863447f2471f4dd
BLAKE2b-256 da5764694fff803fe1d6587bdf36577b6f76c2e1d9a26314da396895588efbf0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 6c2e5518f4edde7e28ac889788c5602e3324f5f5bec8c6d63ee5d5339cec875b
MD5 5523d2fc48ed64cf54f89f0c3306df70
BLAKE2b-256 23b428924b6c8b89c5496ada7a6ce260c76076cd279760b46c9bdf0f4704c7dc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0bceeacaec754405db926224bb152ee6f7b64d108b65c97df140ca135f169410
MD5 e3d16b11b47e2056c1f794d11c5c9641
BLAKE2b-256 0563adf0f8f3b4fc27d1d0b3eea2e3d506f043ee392a68989d48934eb989d724

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1ad0759ec8ec65336d7ee6061be575a421aa6e0ace147d1e85356b02b3a9fa92
MD5 c1734fcdd7e488910365d0a495a76c0a
BLAKE2b-256 837380138c28b06c1bea1aaaa2fd462085c7792cf587018acde7834db071a51e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d16b63a1bede77aa5ac4dbc8ab719d8b60da431587a9351d0b545a4fe347bbf8
MD5 8b40c1693de1a017acfde12a034513a0
BLAKE2b-256 75a3c5fc74ee7c3ed4e9c33b8eb8f2e3cb75c04f049eed82c11442900abe1f3f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8748d5396d08cf1281e6d1cee488a4c7956f1105efde60431a2cf5bff0554a9c
MD5 7122b1245b9eec86fac41dc545d24484
BLAKE2b-256 4f981572540321ca101c47bfcca9becfaca3c16e4b82895acc1c6cb48324685f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 eba5b363550bafcb505d3a2fbc1d64a1166e8271d70bb142c129caed2e85b576
MD5 83e9060db092829187559af3edb3bec5
BLAKE2b-256 cd1cc2d1a8118b3b7d363de9cee0b7449135920d2ba14db17719e60f01133f5e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 fd1a56676c579770d8e7b4642a1fa0f1fc5a0b43f8a5d6660ce5e924533bae7b
MD5 d28ff3f22d707c718359a556ffd612ba
BLAKE2b-256 be67aa725e7f01942531f1a253571ef867b184641949a8cf3c6fc3ea162a2043

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 8e96480f9406c504b8e36e993fa3e26a4494f814cdb439a60f2f321ecd0a9331
MD5 8a9b20549f172db974401bc03d2547ff
BLAKE2b-256 2f5a50d3082c89be31fa4c6178a92b4580c6eee3aedb7e0109b2b09953975c81

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 50d687e3987478f9782e2d79ddde6adcf57f52ee459a650c60a35afd0052920e
MD5 85853179bfa93a2cee37643202c0e3b7
BLAKE2b-256 7510d8bfeec7dc4a45311489e91833e0cb971132802ecfcee135ec87d9e64345

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 b85c9908850246fec890f4c9503d306ce4dbd726b5d0bf221262baf0f651e2f2
MD5 99cd118838c078fd60a89de916b8fc36
BLAKE2b-256 f074e36a8f8f033accc883ddca959dc6b5fe3f37cb5b10dd2be23d580f0adddf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d500a604a7668609d0a2358cbcd8c2ace2d696b61b5ba480c9465d7ebe772c9c
MD5 9d0b3b8b79c7c7dfc715343d12cc750a
BLAKE2b-256 fbe3d146d9166ff7c3e4aacb5aeab1d4bba6732f3775dccc1a361afbf72ab010

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 b17ad0d397061583327118d63109b0d72e1fd5dc3e04f972e3b20c26c9054f5d
MD5 12ae8c8619dbeeba60d9b4c6e1d9862e
BLAKE2b-256 c45e17f8c971751c8b3238e897626e21ef0dcbd71594729a1d353626fa8d7bc8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 74a97a96840e9d797fc8970634e2165ef47f213f867e4abbbc6ea2551cae3ea1
MD5 4ee49809d1de3034ecb252661da7f80d
BLAKE2b-256 b00b4395e035ce11034bbd1db5592193283f0b3ac4c5ee783fa73f22a666fa51

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 80cac43421119b3e414d78ea5ea383e3081c0d648a56810477d89100006fc6d0
MD5 35ec9f3deaab87897b1a0cc5892301e2
BLAKE2b-256 22161f5fbc1288d1328bb0e550fd5a004c320c099c20c9313805cd4a3d7d68aa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 b5c2e836422860dbf11cc7431d8f2bcc39878149ffc855940bd645f6aad05295
MD5 99458869034949d5c5ff3204141b34e2
BLAKE2b-256 9d6adcbb04baffebe26e2c258f9428f18f266a611429a7811d9ccc190b5d2018

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c92f22801c54dbe969f3588b33799356da057521994b9055300842c5482d88f5
MD5 7ff54520ba5bd3dae259247999cf74e5
BLAKE2b-256 e8530d161f082263e5aa3d454c86d655abdb4f745341082aa018181bf9e099d5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 03d6ccbde95939caabc8e70fa6b53cec461f074f213db81442fa356cfb380ba5
MD5 90bc37df5a46dae5d9d23b3b03b0ed15
BLAKE2b-256 57af2566483446b7d4f4bef0ac11788b6a9fcbee7b46e589ab6e9729a78818e8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 43b638f8498af35b52e1b940d37042a177da759cd000bdf0ef01fb23d9e946d9
MD5 d2070b6185233c2cc76bdac8203b50be
BLAKE2b-256 4fed6bd026d6cb3c060d637c5649a73cc8044936087a5b0885b73715f0ff6fbd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6450944bf90979f846619da1e335ef146937e26d11ef2b2c9b03d123ecdd6a42
MD5 6c3b0aa8daadb69b0eaf6afb212f95fd
BLAKE2b-256 9510c435884832364eb51ca21b0217587dcfacba2faf17b55bf63418c4f26b81

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 7eceaa2cea4a3a3e2b4f435242df0f72f3305888f151399d10a1d0595e110ae0
MD5 c3c2707b117c0b0367ace05403e413ee
BLAKE2b-256 8c2da21279b7b5645265bb532c14481e65f0d282a0f26dc04c0987012fe4bb1a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 0eb20f3cafe3cf76de57ac71011ec038afa01dc5794efb57e8c7ebb1c6412766
MD5 4014d9f6da50b79388cabddcce4fb94e
BLAKE2b-256 5625e692aea1029cfa926589bde013a8144471bff8449d9961461f06cbb61faf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2d66765e6b85c6dee0dc72ae513b574c7814f53a2a4062a6e04350f462c1a4bc
MD5 a11f3e28cfcb26d03cddf557a65ddafe
BLAKE2b-256 076b4b2f9a3d1d322c53fb0f1fe44899442723df55ebe4b89993e0c2a8110ae1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 fedd909e6159869803a8b403a6f2edd68d399850a5fd83c3e985870cd50e1223
MD5 80972d2b1cedb43f2c2c7396facb1474
BLAKE2b-256 9b3ea419fcca4b1be8ef2951c1fe36ce2851cbfa747bcc5ca22c03a8a278bfef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 57377a257b2fabc45fed854b75e156c555a29af4454605640fef536039ab3869
MD5 d797a5033b0c16d4100c4576a88df3fd
BLAKE2b-256 f85652cb9b14edbe5d3445207e9215310fcf0f98d1adbcf28093a275ab42ca26

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 8861b198cae6fa30df20e8c3c656e5ca30213f5b1a6df3d5caa6c5dcbc7e0400
MD5 a1e5ae9439fa1a3ea683dfdd43d9b860
BLAKE2b-256 7d481cd8984305f45512fc1984c2e998b37eb3244ad3a6c476dad7eba72fadcd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d33a8d1103b7f12e12869e1f62332cc98934c07e683cc6501a218d3799dd4c43
MD5 3d4f4b8075fc78f7c6b54169d302f2be
BLAKE2b-256 a756899476ffc92563a096ac5a54f7b00469c70f444f7ce9c13b27d5b9d27fe3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 3a46ee3a51e2a5385daaafd010da1f2dceb9bf856922fc72553e869237753828
MD5 d25a0676f4569305c1cff165a2d270b9
BLAKE2b-256 1e506d13ef7581c9bce80e934274cf8aad3ad0640768987fd66a53138353c3bd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 c708e27883b876883006d9d021fb1e89d76df352dcb75126c9894cdf4438f11e
MD5 8cf1116e5bdbc5f1ab02a6a6de852a0b
BLAKE2b-256 3fdbe5840c333137d75b23c75d3791e880fab487429912c0283734dabe36277f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 8563c6ee8669ba71e235bcb324f6e5945591ace62989d40f6d3d7f4985287cd2
MD5 909e27c8d795dbc807ac13524488de7e
BLAKE2b-256 3b5330f1490a91ef77a4d7b37a7af79e5acef18262c8f6752f4f0b586d95613f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6f82c885ac2b3e2798c96223a8d0a75e2295d6487b4713a9bf06882a169310e8
MD5 1ca9b80c029959a8cc544115e6fb5f5f
BLAKE2b-256 b0ba9a9c3783c29f07a45268b71a5861bf667696be9348bdf44c1fcf408a0b2a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8b4e548752057eb8f8fcf6ba9b0e6ca950f90f5de48e0810de8af1884ce29f8d
MD5 a067c49a928eca9809ebf8988a7c99fc
BLAKE2b-256 1f8972315a0c0e88d91ca89518a8bf21f1e3d5fb0ae5dee80e7d9cdab04876b9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a1bab4a7adfb43bcd921ca571eb5ecfe0cadf33e6c7e0c112680e7490b20a5ec
MD5 c38a6cfa034d77ee09b721012a9c5af6
BLAKE2b-256 429619806f51d72c1132dd8a9499bc83122f49b240a32bdd1dbbdcddfeb09e04

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 1dc727157d6390dc29a86c3bf3d106717174a2b7cfc336832e6934aa3a2d3be6
MD5 3221cea5bc69114e158e3a8c4b1d8318
BLAKE2b-256 4a26e68c415407e335184c9e2400bf99e253a3bc45ce52b3d48226046efd4489

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 7f6c09e5e770bc450106aa13ceb893af66baf4756e8186c8d9f5f32536c8b979
MD5 b01d02b1dc69e52b1177b6b25022452b
BLAKE2b-256 cbb275533592f09fd1d8fb4636e2ee2ee09357f076b4ac7212ecbb0d6eed0195

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev14-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 07befe0a41008d8d4ff54dc342b7798d735572192a46b8977286519d24a24660
MD5 6612b2d55d962064308877028694d902
BLAKE2b-256 b11f4e55b89a586782d9204f306c9940525595cdee05a7023b52f7c0c0f78086

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

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