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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

Uploaded CPython 3.8Windows x86-64

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

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

python_sat-1.9.dev4-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.dev4-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.dev4-cp38-cp38-macosx_11_0_arm64.whl (422.6 kB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

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

File metadata

  • Download URL: python_sat-1.9.dev4.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.dev4.tar.gz
Algorithm Hash digest
SHA256 341d4ea9de4dde2f67bb3531a93c48e185196b8ff03cd21e13f6e184f4592283
MD5 7305c993ba451891190fa463b98c731f
BLAKE2b-256 88888c7a1183bd8fdb9eeb3d847ddbbcefeaa825f0d02592e096bb031a6a3011

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0f54f76e25b6395e703988309d0213ce171d5afcee215e82df4d4514fb688c53
MD5 65decd3c972f56b24e5416df66815c60
BLAKE2b-256 77d277875a51f02e6d8d295c65df972e300489ff5e55e5fde25111dbcd4635e2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ee5bfd703ba06ac3585591f0e0ef45b1200d5904ed5558aeb2feb7ff9bacb5ed
MD5 f72e6d179a13e4630dda61fcb1aed88f
BLAKE2b-256 86d17c904392a08e0795a34d9a7379bbc2eac30bbce1bd53bb5eeb8b37a2d2e2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 69b1df5837d028b2fd815cef18199f84c3b0a1b1c77d3f2f70c34848dd5a56e7
MD5 06587297f168c412e13b16715882e3da
BLAKE2b-256 a9817bab2a777e0cecd3fa6ee974007fb54c96351af58f2fb360a3df9a638ac0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3cc4bd07c41e662a2b96700edb4f78bffb0208da8c8824fd36d582d839346b03
MD5 ed76d5780717cc8ad63e72bcecdc4de4
BLAKE2b-256 21b82d60d69d9383b3e8cf815da73078a03f3e0a7829baec33a7db7db9f9b999

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 be666177140567d77f0ff0d8b9874a8c96f04bd04b699d31427bb768383ee978
MD5 d20bfc26d1093d57f8916bcac4dda445
BLAKE2b-256 0889a91a74c557fe027d7bda8f677e9c608a1809e142fc809a8f4eb7486206bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314t-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 8cf7cb6ecf6b575f84292dc7d2deee382fe671ba716d1b7bb2f1ef7aaf9e012c
MD5 c42dbc91374c975ff0470cb1b6908021
BLAKE2b-256 e551c4a96f1c870b95abd1d9eafef55b8d224e64617cc071fc956ce6c6f2afad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 0ae079b770b71c48c20eab0467c4de0c72697c5f8af24d75ad0628b2af15d231
MD5 0ba7a566ed30187766a36d1acb0c1832
BLAKE2b-256 e27ee0e0058d42c9fb16f4b8a344aa7fc00c6dc14f7c71627221155f637c82c1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 16ce069914be38b9f3fe2f4be98e0ad22a771ff9898ef920fce277595eab773c
MD5 cbd9f4e26c885dde03a4aadae1d6bfdf
BLAKE2b-256 d65f7a95a1ea1624f00d60fcd70181a6ec0231edb95aae15982662307f166714

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ff65a7a5f356000c0ab8a70bf77b39ea6119e3f7a286e468e85f85b7ee90388d
MD5 68681e5e461279ef5793841dbf99fde1
BLAKE2b-256 2f8b49c04be919d4f6bc35cc105b45ec3cee81977ca71e5a8d2550e4dfe1af06

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e061331561ae7b8c0fac5ab282a62208a2d54ab4a4ce90ae9d8406a20f218457
MD5 3317ab97454bef9a978f92b0e480a232
BLAKE2b-256 c34a40271cd565ad9c5c6bc08c984e6c73a5eb67062b518daf0f8e7e473c0cdf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 14927de60fdab10de655e04f1c251624f14302edfb747e3f140b7c70e4cd1d25
MD5 02581a62984f0c8fa32a9e5e3fdfa8aa
BLAKE2b-256 0a940d8e680e2dff7f2efbada1fa3e4caa3c1ca1a1a791d40ed12d55b2f56fef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2dd1f102157c456b9e0cafff51ea0cfb54a3407160faee412b1db00080ad87f7
MD5 e34ee17f7a7ca6f081701180dbd2380b
BLAKE2b-256 29d88b56036158f63501dd793bc657b5fec52d0ec886d4edf13298a95f2610fc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp314-cp314-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 130f86831f0ac9ab501d6345014ca05d0ffc5db7fa895626a1bde0b131694300
MD5 46de4c4247315bfc96412a347e41dc49
BLAKE2b-256 4bf88473f7de5305645a1684c6ae2e97b04e58a1ed52811998a4279ed0cb083a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 847d0dbe5df357d86bd8e7b118f420c1af07a299d63324cb8bc86225e90ffe08
MD5 e5a4521db10b7c63ced8981cce688eaa
BLAKE2b-256 f547254e716866d78654e740381e2bf50fae0b8663664a42ad2f66dfad5271bb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 dea464128943ee9bd203fcadce6aa58656ca570c84afd0c1f724788058276e65
MD5 f8616529b8747a8bd84591d40de43526
BLAKE2b-256 61a945d073b7f40886feb64d4c9defbd6a98135f7562fdf1f152b02178d1c8f6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 33de276a940e20a0cd2438603cb200a096bae8632e9040891722ff784dda04b7
MD5 8a6e1aeb6ad422ac43f4de8519edb3c6
BLAKE2b-256 d913d92e7e6cc2ae1e949ac9e4d001a73f48efc7dd78abc7800a561bf3580455

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8d9c2e2b6dffe419d42ea1f7da82f45d92ca41fd04991044ff8b07c3b3b8d2b6
MD5 b183c59e1fb045afae281a14fcd2d2f3
BLAKE2b-256 fbe1c58ce7ccb09e1721f5778c0669598aaf9e71b9f388070b3ba95c1d2afb9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 266344acc7ee592781c41645c8fbfe31c5a57067674a3f5483c19436561ca9e8
MD5 8ac98729e066803e25f91afe98d505b9
BLAKE2b-256 50b1ee1f697aada7e6cdbdfc658e2a45be405beb4862755e9c6c32556d35db4b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 965038041f4e1911a49c976eb9d4d5038e21f55a83e22b6f84724d7e7e855737
MD5 57ea5a60de49d5529a3f5e2e0065f029
BLAKE2b-256 9fbd5c45842c91929f119bc8c192e48036bb24867b585f066d2b590580cafa01

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 5ac2c7be7fe88d51595e772aa0a4bbf3c72eba48a987c0494885957692783c93
MD5 0344d13d3fe3a363c09f0d71be8fb58d
BLAKE2b-256 cfd2b2e9073da50ce2f9d7818aa0eec26f2127c49003e1ff1b03253a9d7f62ac

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 511ffd4d244d8bc001e7ae2757354febd5eb5b6b3c89876878e8a1e86f0e3d42
MD5 0bb95e918ab7fc7354120503ac136afa
BLAKE2b-256 b2ebaab8f54b4b538312987e8c0ac5d37dcde26531696377997a949465b9cdf4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 fa56e154227d7e4cf6c87e74648608d9431107d9d5c0d7f1e27ec008c81934c1
MD5 1f53e40385022778f33b5fb344d93a72
BLAKE2b-256 fb210b6014528bdc5c8044559ec462cbfda8084f94fe78d6eb376141d5011d9b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 61d2f9d6ddd4e37627c34964853bce3aa94bd4d530520595135142a779b67bbd
MD5 64b7972d639b15a25a6190b8145329aa
BLAKE2b-256 5f0c742448938d8249ada3beedde5fd8a88994b01db318366f325f7117e44dc8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 d0f638c49c1d57b8e505a892ece1042e3536d891839bd2dff7d7fbdaefb6c786
MD5 bd58d354c25f38c1f1fce90669607668
BLAKE2b-256 1c7a5d9fe9ab08b61c692c70bc2dd419894c518271f9668a8913a254c45207d9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c077cc5f395c062e16e5f6b7966009092514aaa5def72fd0fe81c8c977f75081
MD5 113c5ce5b68a362b8650417663e92c8a
BLAKE2b-256 00a2865200bdc0fbd953f33dc8c24da1c49bb2976e86588be49625722cb45359

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 1eb7385c56522a880b117fcf89ba4826b179480713d5148ef862010e47601a86
MD5 e15a097e1e5875ab4ba909cb8af90305
BLAKE2b-256 d093e05cdee33a31a78b2d68c2ead16e7b8e3fad1e9ae32d3ec8683e466566e7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 2e4ebb2dea71ebe82e96877c6ea7b82f62813eaa8ae8f3d9501fd2ec213a38d9
MD5 09bfd7cff1c9fdc2b212ab1bb78b34a7
BLAKE2b-256 fdadfc6aed160abf5d9f7cbbd8b413f026e73871ae9f36a4e9a463652abbb2cb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 988c144ec2eb7705217902da888a0e7608b8ec2d44cc06d93cd3ec18fe0b386b
MD5 1bc4ec95ad4edf0a00ed83e9073ba5b6
BLAKE2b-256 8942cc7fe5f818d2d01be90913a2075a51048c6a99d9c2a4dfdbd5423bd222c8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 a4ecea753ebf58033a898bf3e2f665a3bad70a795cc393da2ca760c0f8e9f6b6
MD5 0c82e3209d3d5215aaa74101e43f3f3b
BLAKE2b-256 7241ef5db5dfccc7b5226df6e0fcbfcdf17f1ecca5f8f5bd0cabcedc57b61acc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 a6cc86e6e95a958e9dfc6bead82686c5afd091fb37720bdf9796385f2902ab9f
MD5 e4911f824130718a4f64b119e5280cdc
BLAKE2b-256 ac86137c95cf7f2a3cf28741149d55d166d781c5bcda81d57052358cdb42e88a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5c728af94fca89b5c84993e1d5ce1599e173882d858145da17bb3a39f3c7522c
MD5 2e91a8c6cfeebd35b9c0b42eb6270ac9
BLAKE2b-256 093b2689ef883e545c65175017531238ba930a3da461c6a4e34841aef5a04827

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 2878ce549cad250e2225fca7608d3ab5962407017a85e92f7bbb1d98f5c151bd
MD5 87eed7e18dcdad3157d53a287e35c8b3
BLAKE2b-256 67f73d8151609ca1f5b5552dc97727f8b762e6fd3bcec02a25ff10bbb58ffc22

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 d447dda637b2211b66da5b44df6a079aa9469249b36f0ff91ad30f0e784c2359
MD5 887b06fad30bc7162c0f3970cafe496b
BLAKE2b-256 b35508b08b1392f8dbb405f7f46a97fc3dd8e00f262aa6f9129d383264cbeffb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 fff25c139a6484d10172a3ee324b2f410167a1fd7d40872b62c48d35994ea01c
MD5 89126de85266c153e5657e0a0a0758bb
BLAKE2b-256 9dfb7114c6883dfa3de63bea096fba979097b7b876ffdad5461d31a2f4f8cfe0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 d12fbc98c2aaa5cb6a2ae27575bd78aa4bf44fa14133de0ad5c3b8024bf8ecdc
MD5 582fd621e20a78150d24f0bc75da1744
BLAKE2b-256 44bcec7fff28fc2519d3f7e925459d30db4f3ed202a7ae0e7c67202a623ba64f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 dc7b7953cc3c8f1e61b53faa2d94495891f456e03fa375db201e5140b3b29762
MD5 8c54a6b3d7719399e0e4e14674f21b81
BLAKE2b-256 b5b32caf050800e529e5a3bcfcf3cf8449ec8b6c92c7880240d004d4a016cab3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 153ce3123e573e9ccc7b733b4d1857856417ff7e5f1308a48627d78bccb1a534
MD5 605cb8099dc11c7f5a20e6b955636c82
BLAKE2b-256 a13b598f5e95025dde747b929f79f04041f9e3c8f76c6dc69586cff49eca7fd0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7e84ea90274a21e3d6269e9ec6761447de565bd1274b2ecef58a948a6eea7c91
MD5 11f9c1b03de58b9742294f8005aeff38
BLAKE2b-256 826d4dcb04f68817133f8d9ef00103e6d2e6c7a71057826f10951c7e6623279c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 14bedaaf12dfcc7165618c241946eb45d3e8971c6df78aa891e31ade11d6b275
MD5 608b555205420b27d17c0854413a65a3
BLAKE2b-256 2065201bd4880b85e82d1e8758bb3d693004917652453df295f756be45b6688a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0a1f3928eab5410dc6a33222e6dd01ae1d0c06b929723c841fa351b01f9044af
MD5 985bd17c0c0cd75a5e9f1baa29999a31
BLAKE2b-256 cf0fd19071c134719762213a99c358145f7e83fa117e97162533d7cae1349a65

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 f6ede89049b717de3c6ea6dad2a5648042cfa70dde68b7fe01256dcc07ac5088
MD5 0d19a767f5decec1933b26f5368fa97b
BLAKE2b-256 b3703faf23739c19f740d8599be6648506c3bf2e89832a8d78e08993321ec1f7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 6469556a003c354b5224e28e52f5fe96884d5a4841d94fc146265b374e684b15
MD5 3eeca1cd90ece1d9029a7e726414f67f
BLAKE2b-256 4f61551407272c77bfffa17149b2d584d9b08bae6cb9d23cf6f8981a2020b98a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1365d214ab51b14624096c05e7c491ef2bb98c3f16b3a3037f5f7b86d6cf5a06
MD5 fdb4a9a00be83d1e1dd01eab35388ba4
BLAKE2b-256 ef14948648ee09c192a60ae937833d5cdd7c87e054b4cec612a354aa4042e3aa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 f3cf6e6a79922dfcdb97de27fdd2948a20ee5a0a35c0f37a441994a300e95f64
MD5 3505d2de2ad79a150449df20d7e8cdaf
BLAKE2b-256 6d7a1c7eec8a72a629ff75bb78032079b3e9154dd1b13fd4546920a57579fe28

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8a3881fa7c222bbfb63f5f78e6a2645aba153078b7ac641a6e702c2e2a082cfc
MD5 2625eeb5871a26f0f08c10b3bac7597d
BLAKE2b-256 2a378d037775331bd957ffa8a1ede114d5ba6b42839e4fb9cb54a8577bfb71a8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 416e38df1888eee849c2db6c1f51335338ed83bee25cc647c004bee88e24cc2d
MD5 2ecbb5faf0d0dce02a4a328ab9fdb64e
BLAKE2b-256 5f14d783754c77776129229bb4fb27bb5e1488b6747f66665d291023fc0c9c64

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3d9fc71fe372959db11d192dc1df557b58c90fbcbc488071b13320167e601747
MD5 d9410edf8d7b92ab8a1596bbf4196e5a
BLAKE2b-256 ae6e54f5832dc9ec37cdf97bc757bfe373659714cd93063ddf991548e5d4c59f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 329562346b05d4092d8f4ba2a60b2a9348be26e3ab381f30329089752851589a
MD5 f9ab6b8a64a828d765e81000a328725d
BLAKE2b-256 d2b72f6a0f8f7a2ff5d75582af70abc673aa70abc3c01f84b63df858e4329d10

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 6abb0df27d4a6f2b8769fe48e65925c931e839635da3f3090072425112949d33
MD5 48d46732f4a98e1f7311735f1f5fefc5
BLAKE2b-256 aa12dc6af1786c3cfb515f7eb1873a2f13547584d1d455fd34b0395af15859ed

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ac1a7f0c065c73e1ee50a8238b0044f619f3ad2ebc335157cb6bc042ea7c2be4
MD5 eed34ce3a42fc5b362b0e3af25e5ce9e
BLAKE2b-256 e8a210de38b609033c310a9ef5ee749e705a8393717a643e5dcca83a60dd850c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 29138f2f22b10c6d9a23b08850163b281315aaa7a454b922b804ef2d6596ce31
MD5 b96acb749a345a598512748d8e281566
BLAKE2b-256 26490fb6021f9a7d9c2aae46999a1c38814d45721e1ee2125a9affcada66ae11

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5be829080f276da109b29b781c32ce506f91efadaae72b1feb25ab434a8c6133
MD5 3fc4707d92b6da25b66f41d4e0680bd9
BLAKE2b-256 ffe2c23d058a43b00ecf43b7b15a76dfce76f208ef0eb8989c0b6c049d8d6703

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9387316aae08acec16c7325fd2b61c24d20c60b97d4c1aa8a56b0add28fdd5aa
MD5 9a501ae0ef1b922b27c7f16ddfbe7669
BLAKE2b-256 c7d1ed8632271dd3e0bccd2b7bd496be0b9f8cb09283c6aec3911a5bb20b8d25

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 77cea4828625b6d4c73714e1ac30c71120f25f6fcdf23875da3632ddcc1b1c71
MD5 4203867b24e6b0c6d554fee01f85b8f6
BLAKE2b-256 6054c0802b2425ec2dcf1a27b4a69daf5c81d011e4b65c472dcade4f698e926b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev4-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 8868d247f7881a8c58d4aa42d3a67e459995eb5862e34b6abaf3d21556cbdc83
MD5 66d6d75c9798e462fa53186996236183
BLAKE2b-256 35eb234f244d6b3c4e921b4840cef99c6ab53f884f7002775a4c5c3e004dfc11

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