Skip to main content

A Python library for prototyping with SAT oracles

Project description

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.

Project details


Release history Release notifications | RSS feed

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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

File metadata

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

File hashes

Hashes for python_sat-1.9.dev7.tar.gz
Algorithm Hash digest
SHA256 506fa8e0cffa8fc0083128d5791f6b8ebb9a3a42bbf937baa0c80abd5c1a3c30
MD5 7a0fa1949e7d7697b1f6e88be97fdc76
BLAKE2b-256 56f4bb0fa99154c332dbbfd25faec8b1bb82416916669c62ac223919718d240a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 6d6f8378bfa1f90ce9f1642d31947315a7b0bbc3d83774a8695884755b86232c
MD5 be8605a8894d84e4064fbfed3b428d6d
BLAKE2b-256 8f9afa5e21838aed3dd52de1c3d9f3bb9facffd88ad7b595a1ba16a4e0feaed7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ddaeb0364af4abc6139192bda2a6db2f9cccf2b1bfab48676fb2ee495f2358f7
MD5 feb0dc6483adb6b29ef6e7c38f360a2a
BLAKE2b-256 8cf8cfcd59adab9495bccdfbd54732daf59e8754ec8126673e79d1851bdc4fd7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4e0bb3b77eebffb7b97b1dc3dbfc492d1939e9d0df55b044ce75f999b9c9b04a
MD5 0c3618e926365bf8ac01bda341c5e893
BLAKE2b-256 ccfa37b30ebdc04413e8e8dc6a365ad920452825fb72ff6950963ced3c212691

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 659b18bd5e8fa10f46c1d6b3f2d27d2747917ebeb3691c55e90adc42723de12b
MD5 33df04dc9773230dd1b950b5fa64c562
BLAKE2b-256 ce864b0b1b009570e82df7f00d6e25b22841c5c4be78269429d260e484dc1c38

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8b5fdf33c9bded8eb74eeb746c31ae5bf6de75d1d966b3161689bd82453fd025
MD5 ede26b1cd392b6a1533b527b70367265
BLAKE2b-256 054c3317cb8a77aed0c705d971715564d7218dba8be8ad995d229874c29a9190

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 649b4679b522ba264955097cfa73b10fdcc73fac5ef34c5281cc339d04031538
MD5 b7558ae60aded254a8b2fffbcd887fed
BLAKE2b-256 21860cad08ad3a3e740aba3aa60a84b98df86bbd73f4ec6760fa97decbe99338

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 bf5179b8681234748fe7fe4866e74312111c7a4390de9b381bc697aff283fb1d
MD5 b94de426add2eb50553250c030284f09
BLAKE2b-256 fb8b474ac0f19ea0bfbb350ae25502fb1b14962feae0d53912ab2187dca9e423

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 531f6ebd937abc3598bcf7d721fd97f7e8d6f5b3b66835f986e5af5ff8ae90e3
MD5 e584c822d482f114ed9d2e7e09bbbafd
BLAKE2b-256 ff944abe0f02f44b88efa900aaaa68f93a990482eb4ee39fb1e0f7b57b606158

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1f73175b9dcb46ecb40ec05a0b6e0dd0dcc2ee9e9a19e094ea4c47dd573f2bae
MD5 d0f5786383021ef35959b49e5ae50983
BLAKE2b-256 d510de273c08f1402e7ee355010d4c376b1d91caf9878f409e256dbdc9101ece

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8baabb5a9d876857b62043c624f8c2ca451c97cee750b0b365ea1f4c34745ceb
MD5 7b3857814d87875b6cf441b856d70b94
BLAKE2b-256 53fe34485058e8881e65adaa4c68a23882ad7fbbb587f15abf1013da69fe7239

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 36c7c434081ab147702bdbff1ed0b8d94d144ad9c290a0239522f99879236e97
MD5 2e74a993dfe97bd4e253f04dbe0f1d86
BLAKE2b-256 58489347b04da032c1bd55529e68b9a67c0efe7f146939c39399b937c293eeaf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7998df91990ee424c61b77bfb890eed7a5f5c06c70a62d9f76a16e028f4f43b6
MD5 8cbcf34e2af5fa1096923a36a457b24a
BLAKE2b-256 4cd970e85539f364b13a03809a60331226db3c32cf71c57903c11d9fdb9600ad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ba393aa800afe098ebc0e4c7e58a5b1d98a9e207fe0f20b056c373b852f1c55a
MD5 b78bdb49e547f8ecb9df3058c6c2d133
BLAKE2b-256 37ede8c27b92f6aa94ee44c039da7e5b75254e453505d457c7ebf02cb50ad4b8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 56dad209fa1dccd9a872b2f73bd9fd46823afe54428abaa916531396a2db7b57
MD5 c4a9605e4bb45752cda1dbebb0ab7a86
BLAKE2b-256 1d9e214dbadabcb461ca5d82debfadd8e97ce937964effc9034f9b645f08a98b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 f18e1f64e563ee60403599c7bef45c507029e4dd6bf2329263f35d3980593033
MD5 29928b8b434d3557c5e70be37be088aa
BLAKE2b-256 38848f7b6ed0087e1d3cb166abaf42375e938f6ba472a718153c4240f90aa850

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 c57b6597645e742169dc48ea005ab0eb73440c5d22bef758d126d635e5f36af4
MD5 810572209037b0bf045ad1a09c69b978
BLAKE2b-256 7dac7f7da56fca81e72bb1f9e07f2476daf70248794486dc9442afed25cf7eb3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 df69270f5a9bc69fe010a039493e889803543d2c26aea20125aef5502ee5466d
MD5 906165b707438ea1ad07cf6a5bd954a7
BLAKE2b-256 316f9448de0c919d6b2f1c43ecf809ea40f72eafb0bc8b53cd50805badd4f0e6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c5de2ceb987ac466cd7de599dc795d599f99c41f3b52ac68cafcfae3fdf6b0c9
MD5 e00687ad74c80b73f6b93e5de8b964e5
BLAKE2b-256 c300d3ebfffb0a196a39580cb2676d626cfc0c4a033bdfc61ee3a46351438c42

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 c235f2bbafda748d4db7c036bec91d6124e67d7fd5497849bc337217bdf5ff19
MD5 94d7d2e8c5d536aab8ff0ce795704cb7
BLAKE2b-256 8bb39de12f80ea5728675d207eae2cbe3b7430ef11d00502fc687b2cc4c47e73

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7ff68757c61a7698d72037de39a50b77522dc270dbba7b91a249af345d5c38a0
MD5 1b00be5585210f30b67d8492106423e4
BLAKE2b-256 4eb2b931f2ad04350c2f78b4ecab8cdf554841065d72a73bc21095b2649d851e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 a15a296e29b64265d2c5fc9df4f851c884f8e3f2541687897530ecb3431de31d
MD5 5961d05c5a0454e762b2f97a32c73c13
BLAKE2b-256 20d03569046e444d1c59c4d38ae5296db0ecf8e29a76ab162c3d7280454a0958

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 70264b5dbe72aa4ceadbdd81cc7c3ac46f9184036bfc81a5b11b7ffc86ccdf02
MD5 08c794b81b229a39517e5fc99bb8089a
BLAKE2b-256 ce2fa373bda76028ca7e6e5d6b7736790a8b5091c753c939104cc20dbb2a31ea

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 a39c505c52434a4443b1924bb3b36f5e639ff3a84d3de58df9f7ea236498bad8
MD5 a773e17c28660ff1d08248d3cc140f3a
BLAKE2b-256 00f7cd57c544ff5510e627ceb4393797f6e6db1b541021c97870f2b962d2137e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 a5a5e0513c518149024bf7b60ac287e2ed4e6a6700d5d4147eb33f45204789b5
MD5 88c6458fc4d721039eed394b92439b35
BLAKE2b-256 d1804d7a80957a1ecfde6ceaac905d46aa7521d74088d330ef81d2f412b94360

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 fe4c980603ccb19b22f5324d316f2c5170fc3effa5b1c8f2871d35e4a543e547
MD5 28f329a3aa907aa27c45202d791f5dd8
BLAKE2b-256 2382ed3e69078aa7754bdc4cabb054d59c1a067a950c255c2d2682dce87a5b36

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4faacc1388a371f6629898b522b238964778d0192e5effd2d5654e67da25d997
MD5 8f5683f1a5294c29756b92471ab31116
BLAKE2b-256 f9b58dedec61634d51de25e5929241eb23feb3a259ab4b3d3b2b350f3d891b25

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 99b324f3908c9dcb5b183c72265a85615fe0ace758bab53508f67a2aff785149
MD5 9989c64be5c1dbfc913b6ba18d4b3ea6
BLAKE2b-256 a4965bb8b72fcf3ae82d8c287649dad90a432ccd811b0e39aa362be8cac8aafd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 712d8b010095b4380bdf895c2d6499846661103c3fbe395d102dc1f302840062
MD5 67494c51a36bc0e34ca41085725a6052
BLAKE2b-256 2aa4b39d7b5009ea373ad3f2ff1fe9c7d90e9918b806b4e5ed74222fd95e840c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 3f5731898899e3a73a65b5e208c1fd03068c5a2caa347d0ce2c0b5ed23ae3d96
MD5 1d42c346b77a8bfcab780678979a18d1
BLAKE2b-256 24a9197a54efff428e01b7d3742f17d81b63912c212a0abe5b91db2d0713d7b6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 c85d94f40a1133517bb19e0be61020f719fab06ba604f51876327070616a9e19
MD5 374ba0861fd83825a02a737ed1a17d44
BLAKE2b-256 8ff70dd52b1e9ed3cbd6525a4e2883632e095048e1cf444e861c6a0ae2918f12

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 5f8a8162f607786dadc5255faa791f84fd032efc9f1ff1fda9e6859f1ee9ecb9
MD5 209dbd11a63d2858204c65aed2d33491
BLAKE2b-256 2dfd90d679548516619ccdaa4234d3f9d3559b28700c74535ce69756779cdc64

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 64d31e87138abd91acf3c17b8ddff0a38a66f99bf72a7aa3fd5eb35cba3f1d56
MD5 5814474ab4da315c2d2bf338c348aa0d
BLAKE2b-256 f8459ab1a27b8bea2763a698d09ed5f266e0056722672fc1b344b2816ed8d8db

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 deebb869c39bbefddc2ebdc67a378c3b707c72670a40c8b09ef763d1f1b28b16
MD5 8501bdbc3d8c43e1f53fb3ac08d02736
BLAKE2b-256 0658ebd5e1ec8ceffa04150ff20b96f03098d9e4cca2920b60c2da3a6d265bc8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 e6bf8e1a2ebc96e173c37d8020dfb4b6f7e11345bdaa08e840d2a838c6ac77e7
MD5 de2ab2f6cac4f9cd25bb460b534ac3ce
BLAKE2b-256 1f4285172c724b01683b054db5d0d774d42bc98258a545df207452bb9b1ce736

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 1c6075dba479c21fd53e06b7952f9a1b636b14de3c0f82651a9a40e5dc698bc9
MD5 2bc7f9b36758be4e7c5bebdadfb98862
BLAKE2b-256 76d9d9dbdf4a003b53bfbc1084bea9895f8ea7189319aea6a5c9ecbafdddbe27

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 4d79ed13061a44b5d75303cfbfd1668cef46ad7fae07d8d74660d55ba63f7a84
MD5 ce102bed595bc208198035a3ee74e305
BLAKE2b-256 acba9a22264c1a0fe45b97cf20a2d3adedc8583229f6a4b9d359753d4577b40e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 521debfc6a714b1f9232c7e2febb82f7453dc8a54f5e93706cad807d790df2f5
MD5 88e73345d4e76c7aa952f19e56936685
BLAKE2b-256 051fb86d8ac11f62577c0b62befd34a1fbd6369485499d19c7b7ae4180df8342

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0b6f065469e166f76b4ca6f2c16104a4fe8d4679acdc5836076b229c57c76518
MD5 a65fa9bae4cb52ac9e393d57e2419ab6
BLAKE2b-256 0370ce9f705a1f7b42dc81e49416b21bb79f1d80a8e3fe7cd1fb383db48ac1a0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6312ee140942dd398fda2b00acd68f542c9d89aac9587281120d25c0ba9749c9
MD5 fa62d0fd3f932b9f52b4fc7c50fd30a6
BLAKE2b-256 d16443a12d750b158633f93e33fd9380d5a2e02c2becf6b7d16996e956714981

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 d47730a832535b278fa1e5d52b0d2220094ab555d3be7bd7da4e39a11801a7bc
MD5 c9ec6623d85d3f71695c5d9e1267cf39
BLAKE2b-256 15f057eb7c36ce568cec76b96b589bf8b9bdf2762b4c284592fbce667c85c2ae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7af8bf7f0b7092cbc73358059a58ced7cb301bfc40dc65b69d871d8e9d4bd06e
MD5 a6bd457fcdd69f66e4f5b16cfc3660e5
BLAKE2b-256 fea99c5e3e3a40dcb5d5124a9a42099b78b36cf125deba3e97f02c372f779eb6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ce549e509dd337c1463e1d4c44f0918a32372282ef4f9b7a8ec83c48c52967c9
MD5 0cea8d9c0108e14530c1e9d036515868
BLAKE2b-256 e8ae00d2358033d5d990abf36338192b5c0556cc004bb3d95482fa8fcca0b2dc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 2f5bc6d70561f3e1747d98f1aa5cf52c4f983be2b42afe8b38b224084f6e7f93
MD5 6f9bd0462ba9fe2c38a71ecf70fc2d51
BLAKE2b-256 712c74f80880e4c376f8fd18c06616629457a35128b2026e9b548bb0a04d7388

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 a33facde1e70205d6163fbf1130152cd1c12ecb82b35145931142b104b98ba17
MD5 d47874ce486181be85fae7dbcb8c9661
BLAKE2b-256 7a4c5dad05afae914c24919ed56cd29b6badd2dc4ab2e3272c3694e44f31a3a3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 d0866c141d754888ae53f62ce2fe004650bd2a3592477f8dc4b6938a173bb947
MD5 adb2d3fc744624d3c5da989f2dfb5abc
BLAKE2b-256 1cb57d1f002badc19735ab959102753b048fd11d47249e3abff85a65fa0448fa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 2ff525daaf2864ed0d0671a6642b1cc9b4a6a0dab0adcb1ea90fb988fd49dd8e
MD5 e4bba78216131925165339c13a41547b
BLAKE2b-256 01da8a76e357dd174c5a006246fa1ee63284f3bbe7fde7626fa5100312b56a5d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ba9c871e45d2e5372d8a243bbfa68e1a0a9e5536f2ff7142e2ae57ea5ddac26c
MD5 e3357237446dee178057b5eede500925
BLAKE2b-256 77eaa0d8ac4917b57e01db00f21934b0b473b8d7c9a83dff072423be06865c9a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7ea7ffc2d760bad2a2568f5f9d9f21f72b4350e084948d45585c827e025e7f23
MD5 b60baaddddaac16bfeff1b5a6a15dc81
BLAKE2b-256 38ae25bb15bd8b721b0c5cca7a693d9cedc449c557a8d1a0756ff10a3103c179

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 7e57c957629d07a439a11790a8eec16b3226eb0db4cc81e7f81ab61b3fb30007
MD5 60839278eb73e70102343629204fc293
BLAKE2b-256 78822d29794f04ad3ffada12dfea8b3809684338509aad611c0acc0098a0fcd4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 f86db1c12b5b1074d2303a1c6849370ce060bac4f5fcdcd8b5584e8b2a8aa9c2
MD5 e6a3eb1b7cd38a0228fb163a35801a1e
BLAKE2b-256 a28797967b1826577692bdc65e12b5cc2a10176753e9a7f07a77fa385bc3e666

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev7-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 d0ce027e5f31b4650fce67d9c604e5015a4ed9439a5273892cfe2542d87e6aaa
MD5 e92a3f258647c5906ce3fb0e02afc34f
BLAKE2b-256 360faf63604b12c94c916572793aca18a8e9347ecf9f91e5d5dc1da3e9ac315a

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page