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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

File metadata

  • Download URL: python_sat-1.9.dev15.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.dev15.tar.gz
Algorithm Hash digest
SHA256 5a2a58022248ce2cf9395b560685185e4773c452a29eb0ae8662d67611336cd3
MD5 f53938f77fef2742695a2ec5c5cbbaa7
BLAKE2b-256 0bfef011c720d49b779dc0df17a8fffb17f8044342bbb12c16e5b9af37c1e489

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 be49244a43094930d83805a251acffd6d48cad3beea1eec3bb93226c9787473d
MD5 8aa85a3316d55e61a8a14187e4c9ae01
BLAKE2b-256 6d601eff145ad038d359072091bf9d737454e157cf69b4d4f30c5e2ed113f5c2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 406ef6033a7b44a51cfff7ca769d941f1047d10d3a0fa7060fd4b1ff42da6ea8
MD5 930a5326e26d72746b0a7bc23f852c50
BLAKE2b-256 14de4ded162ab00267ae24f10b0457fddc1149bc3dd882b34c3a156b76a87371

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 55ea2b5eb0b91341194880899ca69be13e99ea38343e76b8275733bc1afcfe58
MD5 3d9efaaf94fcc145d334e90b82c0a6dd
BLAKE2b-256 2dac865e3f668ff01b203e8e15e20330fda1c9ed1b13a3c4049d111a383cfeea

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 461c6fd27448bb79b9ec89163b4d9a3a61958da989d61feb0e4014972350f1ef
MD5 8b79e8135bec87bdae473d5d0e460919
BLAKE2b-256 40f53a25163632bd02a89410d012628340b1575ce798f0168142f4dbe684e3ad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 eb08896d504201ad13a4d78b0cb218490a65be375e8606e45b083faa72189ac8
MD5 1a48ebad2bcfef31b630368c13e85516
BLAKE2b-256 c00a166335abc1fb918b8ee4472c130e8c0f9bea90abbc39fd7868c49e1bd344

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 65fd262b2be62417fc298b4caeb7fee73c922c8821ac544caba650c1ed127632
MD5 1210545aaa457457d588417cdac7fe47
BLAKE2b-256 cf4a6b965bc4ac1e284b87ca186b3724dcda18d4e5c664ed2e7318bbe849a2a3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 a1e035bba0b1450b3ad4b8368584275ecc9627b7bfe792640872704ff82284c7
MD5 059b68298c6f5b04755f1a4b7c021156
BLAKE2b-256 ebed3053a23a5ad40c1666c65c8b82f4e2ad39199fe2d8e2ee806e95ee7d4962

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 1270c912c33b9e06a47e772771233aa57c73de856d4e9c958f5428995fc624f5
MD5 3c79a92d07c5f156d9fb9fb9a42e58b5
BLAKE2b-256 48cabc0d956b4c5c91717041b765fafff3b356c3904f154d6338229b2b7a2fa0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 28ee46464c059b9f519f2ba469e61b52c5b1990c990e30001097f10c8b6786d5
MD5 f8c381fafeb2970b5adfbb37f4394431
BLAKE2b-256 629a32f0a0a8514286a999817b64e2b5f3e0de32d4aa3e543d38162196f10efc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ad4c4a4aca9a932fb1d7a9b48082dc4469845b98ad21d92b1b5977b8ec462fbd
MD5 feebb73423c4ecd28087542eb8262880
BLAKE2b-256 886106f7be0cf2e8b67b6dcf8c3e5dc1d30e71a51d9c2676983c20c867951080

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a22f4ca87a5cdbabbb3b2c844041c9323d944554a0c9b747b1e4d816a40c20ce
MD5 068dfb8c052fcf7d3ece0983b1a6bd76
BLAKE2b-256 30504b59ae5fff2bd252c745076410908997346afecf09e6515ea3e2e826893a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c6b5675e46ffd21be57e6dabed8623047464979dbdb52e9c4501e1814a7113a0
MD5 0b28f78504e79d58ee11068d11fcc56f
BLAKE2b-256 d07f0f32b8dd8ad840edac4f3a4d2e9e325b6650eb7070af3ad56007f89ba089

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 221705ec86f7ed05cef35b5f9990ab8a6dbec77bff36ea67e5d804ffc172dd62
MD5 30b78e8282d060c8da46d9c0e9b1de32
BLAKE2b-256 7addeef385a9e018159111e93518c427430fa2499cc8f5905002a0e87b7ace48

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 1eb12d2cddd11dadea5823d2dbe2b7fd0f4eb1d2b591c6e2206e98bc19347699
MD5 a2bde8db080b099448971714104ff480
BLAKE2b-256 16d2f6eb9e8573e5f64a8b6f251000a4efadc4a01469da3fb7b26ce54e22c063

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 cd96edc9ed1f089a6925039de863d6528d53ca37708de91cb0f44570e957bd59
MD5 918d14edc99b0f43bd2bd5349aeb20bf
BLAKE2b-256 cba7f361ed31a0542647e6a85cc1f6aa61ebde6b841ce5610a222b2d384c4e9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 01dc4d4236e3123ebd32b6944952a5a0d2d18bff47371948f86af2eaa50b2d0a
MD5 9fc6abb69a382b2950e2b7c9e42c75ff
BLAKE2b-256 16a5e1df36560578a56afd5b716a2751b9d8e55dbb01680e80107c54cd293129

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 917c8caf97cda19af85a5b4f35df06e0860ccc797ff6045c2a775df16413cfd6
MD5 b34ea68df7c0812923bd4d067b5eab44
BLAKE2b-256 ab39d6e7de2c7981b9f648ee2a1bda3e23341d0fad951a09775b6250f439a823

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 f6bd8731673c3b3c06552c8a03a68a8f7680957d89ccb8993677af5d1c7fb1e2
MD5 b0c7214280586005433290f88a571c0d
BLAKE2b-256 263f86f648db3d96ae795c4b7b4a2ff35e1e865453a697da82360e742769fdf9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 fd55285f4ef679aaa62699660121423ec35b97324095ae34db4edb0356422a45
MD5 109b14434a5b3879db3e1ec1f0403e34
BLAKE2b-256 cf964290b2af2853f81061b9aa6ddf118523bc9b1d922842ee78124844ee35d9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7dee4f84ad54811b1f4baf52cb07adcfd4dade33ad7b0912e225b996088906d4
MD5 0b3aeb5edbe96d31dd01706bce026e61
BLAKE2b-256 7ef370378056463c40c2d363ddfee6dbd69808c2c0f5c205d285ea994f20c7d2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d6894078250b6bd37e36b89d8eef13ef9670ace6750cf86fda29245b1371f7ee
MD5 71efe0a0abce61b8768c3ee7adb2689c
BLAKE2b-256 9fe636f63e6b05648d64619d0f49c58dbc7a9da85079cfe29764a33d423a3045

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 0e50f66396999c99cfdb973a7ea01c9fec19bf4d1dcfb898b385a9ab759d16f7
MD5 7f6a81beac6c5ee84a7418f99fa13803
BLAKE2b-256 3d5c27fee2b6ccfbf41d393b02e056da3d670d7ff80b5cd0fed8edb37e2b8776

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 39d3ea37d4c727f8f1e08fec62abc0d336fe73417af8308a2ec4ea9ffbd38e5f
MD5 4b9a54f3fbf05424b9089f7695cb7e7c
BLAKE2b-256 25eb800695a9325ca16e9630c5443cdba704ff45d96d8610798daf328200ed70

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1702300917dedd1deaf4ec33c7597081b6f4afa1c98a15ba9c8d0e2f42eeab95
MD5 7394c76032b531a80b2effc616e99283
BLAKE2b-256 79792478700906d2469bf7b1086a49347dde445d46867183025d537782c685a6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 5224f2a39e826a51116cb93529ca2c1a322c8867e6947edd2d7806f65bf203ef
MD5 f44767718499c74bef46ab1b28b19330
BLAKE2b-256 3ccd50a81009404b81a2afa860ebe424ab643264983307a2313d625d3dc43ef4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 851da25fc0b939edf7db25808ff648ffe530ce9e74f7d7c34ec80dc6eb5bf849
MD5 dfe4966ce8bdc03c3c43b379a3d1b3d0
BLAKE2b-256 cfe5f5f3873b8108b8389b704d75769e73305f5774968fd560d7d207249d4531

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e43ca92f7d785d3f9d6c13dae018d842d0982e765c073527b5d002657c699b88
MD5 376fbedb80e931ffd6ffbd6a7f65a856
BLAKE2b-256 23d2209878db8546bad287286f53050445df19e4ea0d0c6f1335e694b5aa07cb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 56a5b17d2e4493dc26688827c709b669064262f6f3614d4cd7fbfcf191a0104b
MD5 d23910ab4915dbe04f57c4732bf7e851
BLAKE2b-256 947f31a505f7e69dc73a37a4914bc7208fa203279de7b2def9c35eec40282065

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 76dad0755080f91f5b54d30fb608c647163a83a52ef592c79848e653fa883892
MD5 ad94f2bb9622e682b17ceee312767c1f
BLAKE2b-256 d0f2a2e2c9f216429c6beb1292495264084d7e88e38a8da44f3fdd31de2ac4e0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 9d00e8a3e3055b09a02e4add2a3f45d7c9aecdc8ad2c2a6513ca937a6b2bd694
MD5 90a01fb2cf08c786fefd032dcb39bfc2
BLAKE2b-256 e269eabe7108200ac7171fdd493dc743badc9d3ed45c0c84a3dbbf0d13f216b3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 33a3d85653f0b70a6b0bf24699ed82b6ea08d6fb061498e64031263194d5e092
MD5 fb3b097f713e2fe27d3989ce31b09272
BLAKE2b-256 4d380bea836a7cbb4d94d0af8d0554593d23d754ecc98eb71991dc4cdf201c3d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 5fd4a89f8993046d5caa20cc8521e502f12ddbc7f882ab08e9547aa720678f4b
MD5 74c1f5148f8e5921a914a8e922bf9a2f
BLAKE2b-256 e8922a5257e8c68a7d3b712baefbf393da737dc82d6c53e34580d05d45343713

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e3a8053ae19486cec20372accaef5ee0e6e2ffef7ad32cf671545c6e68dde21c
MD5 f859cb9be68cbceb596388a00702b8e2
BLAKE2b-256 8a3fd55ede027939e374799abe614e8f687999031571a6181122859b95ee7d5f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4f69941b3336b8fda645fbe2d3c97f1ff2b3b036f8c23bd6d37c7bb8234914f6
MD5 547292aa6fc7273c15657b49a6cf6da9
BLAKE2b-256 5246acaeaf65e958553b162551e583bf2c9111551e357eace293b3eb8345b349

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3bf3d35fefd4dc57baecc23fece396f5b3475e85c559ac6a2b8e62551eefb8c2
MD5 ba2f18f5581419c0cde8f3ab5da4f40d
BLAKE2b-256 a9b9b97d69a97b56e95fc10667f2a13957c694c2b31619042a578eaae05e1862

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 c13a5ccc76fcc011f9dca4d346bc54c2fad35b0c1044eae3ac761e2bdeddcb31
MD5 7b661004115928d0de19a1821789ebcf
BLAKE2b-256 d76efe664a6f239679c25ff7cb701078508dc4bb7b585af51bb03bdc02171f96

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 9e2636dc378f504c0a99bd4785e756e586aaf7d20ee06f7544e0e485fe4bc113
MD5 7ab377b0d7f641cb14fb89eb63505ba0
BLAKE2b-256 af030c21d534007b35bc68c8f14fcd196513309c65760dba4d85e17d86fab4f4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 53c45baa64216ee2cfb64a8c778c1840f4ec5273dcef4f8a0760fb0a883a3a6d
MD5 569a6a61a41e8ed426e70c1173800d22
BLAKE2b-256 4b8ba678015b231ab691012db8fa2910adb1d158dc4b4b51ea99d00378dfb0fe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6c1b6a6987c1845d68bc0c8fd8f300bfc7a53006c651d55307135c142940d9d5
MD5 2107ac284057ae81a3a5b09d0bbd1735
BLAKE2b-256 229417e4b82a8fa4cc762c721e8f04fcf72eba6fc33daf7230bb38288ada6b15

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 bebec3ae1ec9f8633bf343f49c2b23adf51afc5a129198bfc319c2729ec3c65f
MD5 07d7e988ba347feedccfdf9f61212f01
BLAKE2b-256 a2712fc28a392a776f11b76ad2b9f4a352647b08a39d216ca5b100130db95980

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bd3b9561d9b6f9a7ec6c59ab9ccacd0c714ddce470c33c1498eb4c584ff6ab5c
MD5 37d81a54ffe53a9c5e34d9ddc72e2393
BLAKE2b-256 8f00ea4f2d99e0d895be1b982d62b23580ccb4bc0fd2fd94e4a23ab73b1ba377

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 94ceb1d769c97085c1d61dcd76ef1b8abb320bf25f13626f98361dff68e61848
MD5 7e97f451fce89d758ce38543f337b115
BLAKE2b-256 24e86222947e2a162920b4eeb6428bc9062cf70d7760f9fbadb77703d51423ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 ca25a8dce02020dffadb7e8715f2319aa04c77d842c617bcb44857d122c74089
MD5 484a7930fda030c17cc350800f37d516
BLAKE2b-256 a16434145e86a101e7fdbd152eba9d40ee26a9f54b0a7b66f9d80f3924c66ce3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 fa664145aa7d54def3f20f4b3b9bf9dfa484cf02e16d38d0d320f140819e84b1
MD5 60ff17bb5b7df60b281728ae2f6eff2e
BLAKE2b-256 3eb7315ee645de11d504f1298a1dc337ff55e18ff45d7e3376e7b27bb357f9ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 59d8fc1370e590652f3875d33c20fcc99f20921aefe336d18f53913e8db5eb04
MD5 11f4cf86a9d3f8908037cd6f7e91e204
BLAKE2b-256 835363b5769077888c464fd193250353062adbdc3cd49122ab454a11119ed75a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 d09b5c93bfd53fc099bba5aa1d38df3924fb5fc60cc4acd8959987d54df885ba
MD5 71f109441ab7a1a229e8bbbbe550afb5
BLAKE2b-256 baa4f38b801b41c1a61948bb723f372b6e24db20252ec72be0a766b08443c001

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 87228453d07308a71afaea35e9b56d048ab23c48f75e5ba3be2efcd118018ce1
MD5 219bec2a5a10ebbf03e72179e98d893e
BLAKE2b-256 c35e6d85c3e9c790e47f2fbb7abebc9d31af49857cce5f4a00d324ea8f0b6c05

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 94310e57d909f42b260801bd831dbb23b40271612ed860553fc9761296f65697
MD5 47043bbd5e48863c1d3701589f43e0a5
BLAKE2b-256 74b63ce3c46aefa56732893d762442c3a38a3153b6b5c367defdaaca83dc3432

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 eddff6b06be382a8ee3f811efa4fa07aa21a196c7136f076741ff8f032b5193f
MD5 73b82f637241be98370175872d90f099
BLAKE2b-256 61e2f9d5ea3640cecb7b12d2c32a2fc343c597813459385c17d0567380e92db2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 a9ffa464b7d8151a2d95bd003c3f380c9c74add382b676290bd70ba75f078c26
MD5 eecf65e7fc4818e40d09668b70ab4996
BLAKE2b-256 fd7430c23d19cb699c84852d889cedc2a7826636115988569b0b970313f82957

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev15-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 0e63b16e0f5c0714df6647a70112238a90ab8a994ddcdf3bd0e76a760800bf50
MD5 5e6d5a466de5c8dcc924e43eefba4376
BLAKE2b-256 5bf1b1456949b961fe55cc9055d6d6706c542bc68947619386f3d4836c06962d

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

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