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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

python_sat-1.9.dev5-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.dev5-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev5-cp314-cp314t-macosx_11_0_arm64.whl (2.3 MB view details)

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.9.dev5-cp314-cp314t-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14tmacOS 10.13+ x86-64

python_sat-1.9.dev5-cp314-cp314-win_amd64.whl (2.0 MB view details)

Uploaded CPython 3.14Windows x86-64

python_sat-1.9.dev5-cp314-cp314-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

python_sat-1.9.dev5-cp314-cp314-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

python_sat-1.9.dev5-cp314-cp314-macosx_10_13_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.14macOS 10.13+ x86-64

python_sat-1.9.dev5-cp313-cp313-win_amd64.whl (1.9 MB view details)

Uploaded CPython 3.13Windows x86-64

python_sat-1.9.dev5-cp313-cp313-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

python_sat-1.9.dev5-cp313-cp313-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

python_sat-1.9.dev5-cp312-cp312-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

python_sat-1.9.dev5-cp312-cp312-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

Uploaded CPython 3.8Windows x86-64

python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_x86_64.whl (4.9 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ x86-64

python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_aarch64.whl (4.8 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.9.dev5-cp38-cp38-macosx_11_0_arm64.whl (422.6 kB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

python_sat-1.9.dev5-cp38-cp38-macosx_10_9_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

File details

Details for the file python_sat-1.9.dev5.tar.gz.

File metadata

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

File hashes

Hashes for python_sat-1.9.dev5.tar.gz
Algorithm Hash digest
SHA256 3b11f60106eeb2ebf9681fedf399eb34e5c0bb209f345651bcc14c5857e67618
MD5 c486e6740e78bc0e62c45748066dbd5e
BLAKE2b-256 4ba61ee75f1eb102e5955c7a935a777156db0f246d70a82e528ffbc62579d70e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 34d1019ad70f3c1febc542746669cc7566eae381bbe80ce489bdcb77fc855236
MD5 07da889ad5d232f5f81987b6409fbd20
BLAKE2b-256 9148bf3d5bbb7078ccba5c071ee5b99f35fc2b04cd3d31aef60e1b682a6042b9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 d1d2ad23b786fc60bb7e764cc06cb7b7ad13fef09cd33357f5202b439750c596
MD5 7960479ee570bb32e85ec579f3dc6448
BLAKE2b-256 1cb98a50be80e7fdcdd1b93f4b012c6541539fe4d055821ed2fe42623cd43f18

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 27ae4eadefe238fa41f2b86f600a88d3a37acbb9ef4e697972a216460811bb8c
MD5 2a9b119c67d255ebdcb9636a06afbb87
BLAKE2b-256 8b0667e771646ead454ddc3aa17f653037fc9f9c36898261023e6f76e11a8c9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 601fa90fe82e1f74eb7df4315c610b8805f1b4aa5f8da0f1ce6b0cb2b277116d
MD5 39c03ebb4a154309dc4e80084522e88c
BLAKE2b-256 fb2ca501911e500f53963c15d190c697494a4bf28db9d4a2c21eaa9092e96e06

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 81b632bd37c5088f3734d371a8d8a06c2e223b0772ef64d13aac2c9555be8a42
MD5 20045dc1cdd670e52780fdc10b10119b
BLAKE2b-256 d82a750ff4c1843c57fa33dff536e416f6d1a5f4c36239d1b41b10790bbcbaac

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp314-cp314t-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314t-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 d4cdafacd9058643cceb59d6e731804aa3f49e31f867e8df9c911fb924e49446
MD5 603264b9a46cb381727bb843589fde05
BLAKE2b-256 c20906340e93a924e9f7001efb0c627384fa66845a089bb6ce0459cdcb08a5c3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 e05ec840364a7cd06b476485f90ddd45af2d9a2ebd86bfb7dde33e4ad0af1d56
MD5 a84f73db4326ef6d5ee174ddf732a039
BLAKE2b-256 716fc70c11523dd3e201923f7199f8819272d5d661320fbb5ec3bdb3f16217d1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0d76bca0ba2c329d1c516bb61e03aa783f4789fe99d71bd5679dd576bc267d10
MD5 6e38525eb21d5d5d6beb892a18e413df
BLAKE2b-256 f95cfffb7b81f5e7adf0eb3e48e5d56ed6aafc077536ff7075988c18b30634bc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0e2a10111b245487d5a9a4f194fa0ff82d31247c5a77f9c6927aaacbdb46d371
MD5 36a800d8198f849c18c2accaf1ae5882
BLAKE2b-256 75f2251cb2ad9f20c481b1887a3314de6dbff5751e2506ee41b61079d29215d8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 c234324c3365efb675523d1fa2697e9d8470c659b7161f887bc39d41ad4ace5d
MD5 c5e77d3fc2e7f6c7e2c476f2cb2f7553
BLAKE2b-256 cc60acfb856020c930a1e36a85b0c1b85b91da63bbe72b3c9e14cd451e55867d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 24c120c5c9d40745ae13b505b95b5bfa0fa8318891d272c5d2c45ecd4f6f1220
MD5 598742ae5713584d6eb0adfd5060abb0
BLAKE2b-256 8afa2b1a380dfb46ee107926b4911c2693abc16a9228466b5c61820e76628b46

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 246df27d4a32193cc039bdcc0a6300e375050ccf950d1bb57c555bbce5741d09
MD5 316cccb436b1a918aa2db243c899901d
BLAKE2b-256 9c53f73927c631b604e29cbbb04a469089f913c135d7b3aa673d6cdf289aefa2

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp314-cp314-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp314-cp314-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 71f44a880b501f850962f67a1ea19a60740d71f7a2e542ee93218bba6acc52e3
MD5 aa3c290d74594a2eaa3ab432815b20ff
BLAKE2b-256 6583b7483cf20eaf041f3cfec9c357f766798ba66ae3341ad9836084c61e085c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 47fd9ad27445d6a5e88e3fc5f9d9fca785ea4afb7c402d8fa5087dfbc5148c94
MD5 ae940fa6a19db63f1673104792507429
BLAKE2b-256 d7a8cf5608723794e409b152993ae4d903b378128d5f3d2a3d432f0e7a0754c1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 09655eca36015a765d57c257794dc3ec21d180a3d615b02049b41ed0fc9b70c4
MD5 62038c9175964256a14eebad4dc7f006
BLAKE2b-256 d4950dd9bd0fd7d64bef96bd422c05afa189c212f29d8c5a31dc71a85f39cc86

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4f3c0301b32783226ec28dc522e9c2ece293405c2add78f0d5674d3ee251b188
MD5 d1184423616236a9db5e5317f6c45757
BLAKE2b-256 30f1dce36bfae5864f4299afeee1a59a4a2c59e03cdebb238926e9241041f462

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 aeb9aa3da7d880f97f323da7f1c0637795c157b3d75dcc8df28e2ffb46ddc034
MD5 2e41de6a24bfe1878d84596c27b6d1c2
BLAKE2b-256 c402166179dfdf7a2b74dfdb896e65e8c0cab57d81e9d265396478a7f13de972

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 780f22792c5a9b2a28c9473b803b0e8816b8693b6cf1930b226bdc7bd392c655
MD5 6b62bb8332474effe2d8fe96bf3865bc
BLAKE2b-256 f37aeccb05dcd8e1d1a01c6a27520e9d155d8938755f5ce1eb93994176013e86

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 989fa993339db6b9bf3be66d80a4a76174aba878e91e0f22a20f5fafba5e2b73
MD5 3b8356e67889ae2d57f2ce82a573fee6
BLAKE2b-256 7e4bfc798de7aa034540740b252c104d8a7ba6d914e4325dee72a2ee9db1b106

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 3522a32e89a5cf961215ae9079bf4ba4b478163cbe4bea530e90329dc554418c
MD5 48531803cd05d138f57a5cd4d2d15160
BLAKE2b-256 1e3bd8c49eff818ca31f3f69b22f6a73a8fb4335626e4fe2dfba248d390d3532

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 632ac79b634ed5f76a1801ebec6d84f6930dc4ed696565f8ed504a7800d26f16
MD5 73c7a62baabc0612e31a789704565dd7
BLAKE2b-256 c8de5d242ae58df1fc20b7dd4d8462bed34f1f4503aaf8a0234f3662c296c634

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 abbffa61cdb396903d388a9e2fc4c2df767dc235dbc7d2ada0ede42ab7e2e89c
MD5 3e839d8c409ff437ec2c37c5d4bf720d
BLAKE2b-256 32ff24882d8a96c6e734ed022933d77d6846bfdba798055010016338eff38c0e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 74cdaa0fc3a7198a63ba4d20226bfed75369357bf344b0b00d8ea1c9ac7cced1
MD5 f3de61d34d435c852225e9e61ab61207
BLAKE2b-256 cfd03716e84da3e74c9be12fce9fa6b37d276aa7956742b3d8cb127ac8da1f52

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4b4b6f385e9f7254956dcf803e28810bdeca42fa40726742f16f263b4b3b9c0f
MD5 42b7ef1a78af0ebe4b04da66c47441ec
BLAKE2b-256 e5395ca44214181b0e0ed72f56a5ce44bc9731e8b0f5c5d366e1acedbacfe64a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 27126156688456b0b3b9aac5aa24199b67fb42561bc0afcda93e18a1038c27c0
MD5 411fc7eadc283ec8d52fb6b082213631
BLAKE2b-256 70de4a18cfb2c2b8ea9773df5306f8ee6006c6965e883c88ac47fb93c5bf0ee1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 62eb9649494b99e1721a59920ab4e0bf9cdbe01fa40f07c23788e2ed682efc5c
MD5 0f69e69f638bd7843b6e98b5a061a9af
BLAKE2b-256 3397b3c53b49d1386beb10e88f2ec67f13f8fd07201648379de184d10ec82f0f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 9098f5c919a01b67a55815d19ba94fee356e7366e93273a66d9bdec7afebb938
MD5 f0cedb6cb3aac0115d8d35617dc22101
BLAKE2b-256 f22d88292a1f96b55245b520cdc70a31c6e3954dd607aca8c8c3b59927b75704

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 266d2af4c8f4324faf4dfd6a047b87ee7097fe07d9f7cd4330cdb6a16ee4798c
MD5 f32df6307960df04b160d459715bfde1
BLAKE2b-256 179a50a62182db1958053e859386a912888da4cc263bcab7f8d62fd8d9469973

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7a3b93ec515563bb7b1bc5a1440af319c068fca0c4588465bb35e2c078834874
MD5 00e573498f314aaa8bb85a72c84bb4f1
BLAKE2b-256 4589945815740f7bf56b33d5aa537c4207e650ec620263f1e4861a9a76c31f0c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 fc21bb7684002060a429cb38ddb3ef3e991feb5564d0f80750fc2ae8e2fcce2c
MD5 5ec65e24b83b6eb8326d92accea5f6ce
BLAKE2b-256 ab5cc0f0b824df6276be1547baf144567114c1ae1f0930b48268c23f0480032a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3218d4259f002ed6ba9c6beec2bb6a35c7acd4377f2c9715dcaf06c3be3fa72d
MD5 69bd908c4b870d1c13eca86d887b2dcb
BLAKE2b-256 405d334f878c492ca244af9cb338a5b1dc79f0f33400f07c15bd4f0e9d1286f0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d8ac5cb7990e5fafe7686a6f8e965d721bfebe2700f1319639c158362a7c392b
MD5 77cb65f041ebf6293c42f4c863f56e16
BLAKE2b-256 2fb360e0eaefd208e58b2941835ed972cabd29af6f22b98208f56fbf000cd231

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6414cd85b179bd83c3494278d9300fbcaeb2cc18edaaf7852d6b28f6e2ae6b35
MD5 99678400aee48a28b528fdb0605e45a3
BLAKE2b-256 7409ea3075de985f8ba60e016650ae66e7f1ff0b0359509164da7b89603c765d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 a496bd38c0b8e5afef09799e6edeb22664cf880196cce368a453588ef19388f2
MD5 9bd415aef7173338d11f05436d31886d
BLAKE2b-256 5e8645736b5860291ae364a0bada47bfcb491ffaef229898a38b60f116c2d9af

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 7ad6105ab8a1aab7e3004d6a24ad3dbdb2f89434962c8cffd7f061e38259b0b7
MD5 01cd79fcdecc77d97346a5f0d812700b
BLAKE2b-256 dda716eade18230e9677316d999ad1c98db7f5f5cc71dde6230b91db15bc55bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2dae14f56e1fa3eaa2c662a5acf01c43138b1333f04a5ec8b6cb2fd9c39eca16
MD5 ff8adea9416082b7c7bbb6c2dd8967db
BLAKE2b-256 c23d6b78d4d801af1b7ebead94fe1fc6556433761b1b7449870808ed02161f8d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ea528b72ae4f95f68ec5389bac80c24eec0e87c7740098a50059240b01b649cd
MD5 5c32cdbea668ca2af68e2e050ddd75ff
BLAKE2b-256 a6bd2462e367e19576dea03051d0750584be10b3cbbda19c24d632303413ab20

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 49f1935212fc32db4ba5f2890f616393de3e2eb93d0d4e7358a301fa863234e8
MD5 6ec1eff583203714367d504beec88577
BLAKE2b-256 3ff69b743f2406602df8c6fb22fbac10a2927f214e6cbf30f64da6c5c405d679

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5341726073013a648c64fe2b25f4771751075d971f75c3068255270927440e38
MD5 510e855e13a076ccd44feb00c49f4b2d
BLAKE2b-256 f0f9171335693cd32fe0708c8b01192c26c8821baee96cb8b5e6c7dd6c77e8a3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 17efe924bfd04e593050e9565543e18694205a493f91a99b30617a8a4a0fcf30
MD5 a10b472339872ead5bd856f9243315de
BLAKE2b-256 e372be8d2ab7162634ac0f56161e50be48d63b949a06d9dd2ebdeea8de45c9bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 9213b84e7d8c67d49f870fa077a471d2945fe89d9e2ae0577c57c2588076f4e9
MD5 d548b382d2b5136cb5c920a4317add56
BLAKE2b-256 846a834a20d20cdf0d7c456eb25ac6cdc9a91504c844a53d8843254b312099ce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 a2dd0119d8be11ec193493bc9c351e23de7ce28e5902ddc172464ac6291ecb65
MD5 c31a2faff1427412e6061f04f343fbb0
BLAKE2b-256 39a528a52b18315d077223388a695edf2e92ac087d19562c38b282369cce4ba4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7f43580c62692dd1b33836c1b9b3dadb2aec6c6e081aac57b34c0f5d7389e316
MD5 ce8e760259c72172856bf8c284ee244d
BLAKE2b-256 8c314a4b2fbcf87594e20d7554b211ff6fbe8ce8fb185a0a2e8380b603689dde

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 2c2b34f2007d52535aac69e12130b49a99f7417146ce621628d8ca37b38309a6
MD5 e0afc7fd685ee9f65684997b6f1ae970
BLAKE2b-256 dbea547256a44607d1ddb6dde2a257b8594a3af83b9ff25cbf1b590120d55c26

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 bbaceb229649e3b7d8b268cbf57b5d6e8f7b2992dce5211e991445976af28c27
MD5 61ebe3dc1c039484c94fff8a97d5730f
BLAKE2b-256 e6fc04d7e59c1327a1840209acb6e32f068a22565fc565e7e52604c6045f2c01

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 474a38825e7a096ad1f66e7baafa842d0e241aee012a0e318a11d1a2e799484a
MD5 62b17b1be5f5059c175b27257d4d7a90
BLAKE2b-256 b2a062de44adad7d4eeec498150885a216b72a776df23e087a53495d45e470ed

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2d105616dd15a84452409a0a0a090ea37315a74995a5e91695268b5351229481
MD5 e29074914572a25f9e53a8d82f69233b
BLAKE2b-256 65b34a4a3f1446f607b0224eafa3d944cb5d5ae5f37101eb7618fcdc979c0603

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 6009f31de868c0c0aae0caf7fb7d1894d26d3f2bb3de3d9c3b8b9f306109d1e0
MD5 f805956e3b8fb66f61f1c7b794575617
BLAKE2b-256 3b41430a78a39432103a52beb556af482d4b64ddf32e0e0b701ee85ed2f98139

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 ab4327fdd1e5ec19e8cf124cbd7857e00857e509c37b471546652998dc2ea9d3
MD5 e9d436fa9699bfd72247a9810e44584f
BLAKE2b-256 5bd843b66e6daa9d591937b841f59db6a8b8cbe9aa8520a9c048307728b3074f

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 119c4aca62ac71f8f3cfacb5a4126c3f54483e3a8c8b5a6beb666860083fbd8b
MD5 a31c8847daf30ebfae82f28530de972e
BLAKE2b-256 db7a5c37cf7dfe33bf26caaff3e85f73ca18a5d033b0938142b2d961c5f0a690

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4311d0c40f7f8e6d0c02f694ba15b3390da16f36c1d12fe332f1bd7a27ddf95c
MD5 bcfb63160a1532a143f0491a3bbaa569
BLAKE2b-256 b8c89638fdb4bacebcd328e680ca0cfa9b2be922c17ed17935803fef2a2429f1

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9078cdba0af07ea7a1d80361b441c5918646b1b6fa091062eae4592e6f82ad22
MD5 0dc60881f6e5c0f59f0004ed8147f032
BLAKE2b-256 9e7e98683ac4b7edce30894906035859ff80e4f77b63789ca42b9f8c90571058

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 637d97131f79dd5ba3cf2c4859c3cc1622423d2357e8f5f6cb99dd9fed525506
MD5 d0fa1f2abc785a2958d84c55f4297806
BLAKE2b-256 263f95d81fd7dc948fd50cab3a98b8cf2c94e57713ca9a3088cb622e26120408

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6458e17022022c40e775ca244de3d72a76a067f1c6f81c8004e0e6def310f94f
MD5 48ec04a52b075ae549db7d8bbc1f7031
BLAKE2b-256 b16a487751543ba5cba453c9f725029ce2667a6b9a160bba487b9426b0830ad9

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev5-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev5-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 e33fa599e058a0fdca7c6f246cf52c19c30c6c8daba63d85f947887a0658de86
MD5 43dbc712907798efb1fabaa922f7413f
BLAKE2b-256 31bb5d4e2dd6869fd8cf7dd0abd4f158709181b548faf47347aabe0595e00769

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