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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 11.0+ ARM64

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

Uploaded CPython 3.14Windows x86-64

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

Uploaded CPython 3.14PyEmscripten 2026.0 wasm32

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

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14macOS 11.0+ ARM64

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

Uploaded CPython 3.13Windows x86-64

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

Uploaded CPython 3.13PyEmscripten 2025.0 wasm32

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

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.13macOS 11.0+ ARM64

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

Uploaded CPython 3.12Windows x86-64

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

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.12macOS 11.0+ ARM64

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

Uploaded CPython 3.11Windows x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.11macOS 11.0+ ARM64

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

Uploaded CPython 3.10Windows x86-64

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

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.10macOS 11.0+ ARM64

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

Uploaded CPython 3.9Windows x86-64

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

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.9macOS 11.0+ ARM64

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

File metadata

  • Download URL: python_sat-1.9.dev6.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.dev6.tar.gz
Algorithm Hash digest
SHA256 ed80b3f27bc770a34ab60428452869ff18161ccc89e3c1a414c642911fa0e78c
MD5 88913dea7407143ea18c58f4e223d816
BLAKE2b-256 2e212c2d8307a779cd5d1b1233204afc8917c2f1ee80bb6b9edeaa66e9c95af8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 419e1d09b72fad19bef7784b254f3cc6c5fa741fe626f70af224aec074df013c
MD5 221b19866bf5f8872e761db6ee495103
BLAKE2b-256 c8e709bb0e372ea162038b2db1711b4df07b89e1953d2ab4c5ea70e337d3fe9b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 92e94f8706f8829ca4ac7eb489f28a241213486ca661463cb159adf78ff5e149
MD5 f354fe5151f87fc9b5aaa4d6cbe7d465
BLAKE2b-256 d8b9714688395d3c4958e5313138ebefe7ce2c52526a6b313352550ac02dcb43

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7d78c69d2901e532e5fc0749c2ab0267e635dd0a7b6a126ba4bd8a7621424b75
MD5 296cde3fa6e2d9cf411623c2af599879
BLAKE2b-256 f2736af069cc49fd11ea7df703ef43f74d1361502fc32a922370fc52bdc80d35

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 8082c22cc110a2916ed8ca642b0514936f63a1ec8254ababc77c68d3d8555347
MD5 7b583be4a14775e8a22e0e1b208d2285
BLAKE2b-256 7a3ac948307e2b526a5382b921e6f41c2b49f638a9a8c8578d16e1f92e50c7cd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ddadad4eb72d1cc3979c5987f2d6a616adacf6f13db25d9f6ef8c21514e19eda
MD5 36f3ffc00955b447ea290efaed40a4b7
BLAKE2b-256 2359de74e27c36873d1e2fd3dc5204b52a19c687f3da85f906fcf5d2979965af

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314t-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 91160011617d2d79c2321804c745ad93359bdfa2a69dac2f54d1ff9f6823abba
MD5 f46fe0996ca0088b9fae58c5abe981b0
BLAKE2b-256 eb1f307f42053238504c6d672e9561c643d45df9a0702de237185e24e33afed8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 8893ab14c036838ea17c4802521bd4b3985330b8b39c616d13afc2d79c48e83e
MD5 57eaa431844baf22ec0ed5f6f195900b
BLAKE2b-256 5c8394b56cff3daca4f1d1221cadc0394380e35967d28ecdee5b1649d16ed1ad

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 a56a574fbe984c4ea9ea39e9591aab7d1828c8b8db5b611b3cef0cd26852b6ea
MD5 2e43b480c6f54ce4d33591bfa75f946e
BLAKE2b-256 6f060470da28ac3ed239b9264768f205bc6711ec90f24cdf0a9fb55ac92cd42a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0d253696d075ea17e1561adb4cecc95ae0ee0df3092b238c558a383690d6b426
MD5 2c191ede11a3bdb23eb1bd58c210d88f
BLAKE2b-256 743c595b6bf0fa1185841a129eea382bee81c6d7dda85e654cc64a5ba5661f94

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e3463029fd31acdb3ff4db346638dfada483f85065fa1700a32f32fb8203228a
MD5 3e4fd108e99f66923fd5999a1a439769
BLAKE2b-256 4726e7f3f1e1c92336009e5cd559d50483b65689b4ff735980f1c7a39951f62f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a29965d84e0a18840e881b2f2e77473123367327a9c611808e4b103068daf179
MD5 664384b3288dcef4e2f08e12995593e7
BLAKE2b-256 ed36eb7db27df39d1d86ca117a5827417e20be6d85afc1f77c13dc67e1cae84f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7d83b054f67c4dd7f70631f771dc622b554641b2679e880ca13d3765c2d498ed
MD5 43aa318ad54800c02940ed7055356548
BLAKE2b-256 b0ff3e7ee810236065ebb708567e9f322b83a0d51a6103b3b53b7b4710f28749

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 622cec0407149f5eef694d659ca8ca838f9290aed5fcf5903243425844fe4c68
MD5 52eee305e0b79eb2ece88c4c658dd169
BLAKE2b-256 5ec0d0fe77269b4fee472406dcf9012d3c6e8d1280323c2e6f0e10f636678485

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp314-cp314-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 454bc5c5e38b8ba32cc9cd7656731dbcf7c397738992c224ce83638da4c0a509
MD5 ecea2dbec3bc226245f7ae525f5bbf9b
BLAKE2b-256 e6778be9b2d57965ea081b5efdb84651a82601e5962c7065b50d2fd44f5d706c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 359b289cabe53888ed2a4fd8063dbefce87387155eb0e6cddb9a4b1a5acce0d8
MD5 c3093fcbe586e75b1e0c47b6e6adc053
BLAKE2b-256 b7786ce0d466f23be92768cdbd471e7ced3e03d9b1a4494f6b172cc44dc80b56

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-pyemscripten_2025_0_wasm32.whl
Algorithm Hash digest
SHA256 e1b7ed6f77be3ec072cae46d295af6d797f109ebd5c43aa5a58bae28cdd8bc9d
MD5 cae838c1d8fc0a1d48d8f224345668ae
BLAKE2b-256 c3e8e94b38cb36068cbb1b2cea47d78b134ad4262df09a47d09bfca54d7eb213

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 654c0f9b05120d7dc4f208720a4140d95948ab3aa5b509c212ed9af896b4c7b5
MD5 0165843e96dee218f971e3338cffc94f
BLAKE2b-256 2ad781b40ace9bce6a10db04a293f0616e2d7af88a23338c8e2da34eaf134149

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c7ab791df6e2c61f9f9e1ff2dc94457f5c6a35705f9ffd0c911bcd7f4615d745
MD5 65d287fa9804c9f155fbf4186f2bc42d
BLAKE2b-256 7104bbf817df754c025c7b1adfab82a4454ec43890dd433fb8b760b196bf21cd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ff75fc4483f0dd9736d4871a18d29a59d1adf38af2722fea020b5d59d68d8b7c
MD5 64b6f97f295541515c0b5d51efd1b5a5
BLAKE2b-256 6fdfb1894a1bb3b305b0b49d1573d7a7cd6bd24e4efc6b210ae405c84a881dea

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 45cbf258aeeaac36cc04ff6f2db9d8855e415e7d96595aed9993abbbc8584297
MD5 b08eeb5f3e357996bea5a95eecf145a6
BLAKE2b-256 6bad3dfe64028899c00fa0112d324a797cc20158d11aff826483a0b39891a100

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 dc319d153b33173b8c3aa9091867033da8f8f6789106cd628939fa7cdf9e5064
MD5 eb4f1cf5d346d407150f77d5bb72890a
BLAKE2b-256 aa32a9124a3023451193b78701d99ce8ac3e00cb990ada8a5f8fa9c5971518c4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 3114a31c79ceff4d9eddec1f672254ecde1f549bcebdbaf55de50d8862a1e1b4
MD5 123e938728c3c6412ccfce0a8286acae
BLAKE2b-256 3f5ce15c1be8a80a1330d29b6a5456c9ba4f009b74023c9934db28a347509469

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 9e19a58edb2af1266cab462b49c278785bcabbde6af0ee8389729419458fab07
MD5 5872313fd13ca2ceadd19bfba6396272
BLAKE2b-256 837c93b40cf9e2dc6f9b6bab0b75b2d756d799813fe76663040abb7da07a5f6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0745123c9f38ab79d2392b9b3146a236bdf4a36ada347ea9df9006e9a0d78e3e
MD5 97389d2f75597e95008bd7d747b07eec
BLAKE2b-256 5b0eacb794414257795935e70dfc640bfa121fda33d8dbd611eac84b9ae770cd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 d079a8d6fafbbb8834b1eef48df9eafde6d8207010699adbe5a5f18bcd1af87b
MD5 ee1f4b567d8bb25e14bbcdb69a763e95
BLAKE2b-256 b99d55da21cd88159ede91648455f8d9bb16ebbcc10b5203cdd53c92321fc030

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 1ef514ccc9fa7afc4d5f3a0c3438baca0947c764b5e35d01a6f64e461e86d20b
MD5 9fd51d667cbec9337df8f26bc56a84b9
BLAKE2b-256 3dbde387d8daafafb18fa1cffbebafcc1c37334f4da570d562ee4d3bf3ff0aa4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bc562ebeeb53b6ac32ad0408f1c3b113b646ffdc6b00b779ada6304fc9657aef
MD5 19356559236a6a1e9e4778da42c4a7c2
BLAKE2b-256 73a7ecce3f40abdafc9e1c253995de025ef7222ae069c9219f8a574950ed64b2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 4bb91ef7c7bdb19d54f412f2b93e74539a9930a3ffe6b556e68f528c58c13180
MD5 fe49869f1d965612e64537204e785a5e
BLAKE2b-256 b5942ab199fb4db40e210dd59f1aa84e998e5959662eef3aee1cd174735b5609

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 6e09c8e85c5ce1b4934df351cab7f01a704a9ba3056a64579356ee3339e1036c
MD5 165312f46c0906fa4d3d1eb16a54c9d7
BLAKE2b-256 9523749b96dae43fb850d2e3df44e85553fc2e988723cb6979d9c81627d7c7fe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 2d459a4c7c344f026088898d94f71bbe9f0b2bd875ab8cb907d4b26b30a33064
MD5 1c7cc16b6e64ef84880c7200fb6ebdf1
BLAKE2b-256 23f2b364cdc4735681a8602108b00ba36e7c0316a0ee62619ff3bfaba85a6c38

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 5586626e585ff4c4e023cfa9c49c06203f5907f415a47c901c1d07d3e01aa8d8
MD5 5392bf9705dbd5a497cd15ba3aa0e542
BLAKE2b-256 f30ee903b86ac94c0b818704d7e37bc6cda3201c631856e73058a24f523b75b6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8e97252e4e439b4d8121032b054ab5dc8f9890c20294893db8571aa794ac5e7e
MD5 d2f3d4b294e62a62dc48841a056bdff9
BLAKE2b-256 1c028ce71ab9762019dfdff912cb1e38193452dd236e2fc2f7db565a3a2cd9db

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 9f841f844c7e6d3cb14da3396ec35cca725a146e5d0b5138bbdd907efa692072
MD5 63fd2bfb202da19239a16cd6b25f3f50
BLAKE2b-256 9f32f290100ae9256c160d4138e8bd75ddbd347216be24a0161046293fa83ee3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 32be8864eb1ff92aaac7d6d04db81d3a2c69568ff7eeeb648becb5677c138946
MD5 60e1f21715d669a4df687ebd52ab7d51
BLAKE2b-256 004fc01ebb9ad10b23ff9ead621d2d9e13f6bb16e7791a8e5eef720c3dbad58f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 b116fca4e6b3fa1126ab8c76d596a92df8eaa393731fc37b58898c1b02222d15
MD5 b869875eb9d44a36a25651fa9d184ec4
BLAKE2b-256 b0cbb94382e0fc81576dd224d9d1d344cfe5d6d5963b19575e1214835222bbf0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 47f831788b3106cfe186914c868594038341ab56ef97aefde8e3ab3a2df30c2a
MD5 d0d006c36772b2eade0afea4423a3cbe
BLAKE2b-256 ea2455a061d1f93795b247abdd7063996615f4b368734fdbb9da7bb544f59e54

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 30cb80aeaeaa38d7262eacc297cae0f96672c6a6be7c36a15c2501e9401396fa
MD5 3eabf396aad733461fc5e436643c6cca
BLAKE2b-256 47a4a0500342bc0cd85b91b0a5d2fb57d306cc43aa028f75084aaa232d4102d6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 6947ee8ac2e07a9b2c00a8e8ced5e09a7b946ea3085afc7401e5ce392461d4a1
MD5 6fb599db0f43a3ca6bf1abf751635916
BLAKE2b-256 05faa4bc21eaf3475fdec0fe2edc1c5138143719dbba7a3dfc396d0154fe1edf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 23bcf2788ffd7bc71125b7cd4d97838a45597dfcfdb7835c90ef37ba6e237b1b
MD5 9483a00de609a45aa6471ae620fe49e7
BLAKE2b-256 20197a476b3aceec0f2986e7504b9864ff07bcce0312a013fce5b0bce7dad086

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8ea4a5eae1bb3b01ada7b3f09d1a6a743a5392d6a1ed14ec5e8ff22fe28cdf85
MD5 4b669e7674053b4db5a22576a47ce265
BLAKE2b-256 ed9fbbce7b0939c962ba9823fc51cd6621257fc567ead86503b0dd15ae0e6085

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 1caaf36209fa83b5a18dd66f4dda4ba9ea44fcee49f5dea721c8f12a72248c41
MD5 fa888aa961554b2c79505b78ed609a5d
BLAKE2b-256 41623cb9bd016a767daee89e175052289b674205a6e73a1bf0da991ee41ae565

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6d9569200eb302a5de952cf7bf9065f1d513c284d7d42c46265cad4ebc732640
MD5 e54a0987d238ca68b32bccdd60b24adc
BLAKE2b-256 54f00c9e8a8fc66287c91989a9588c8c419b2dce61ab3e164bac91484c02342d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 58767a2dfae2468917cc02b40006a1bfa6a4c1c3ea6f01a32baad4ff88f60a89
MD5 09a54e38e462cb2748ff0b1a281012d4
BLAKE2b-256 37aa7d8bd090c4c692f255b2c7b3a320daa0bcf295167e82e1a90cee818a564f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 6c341ff2015bccc1c4c1319499ad22996c85210023b907f6c0c69cecedb29121
MD5 6403f2e5ba5c93b3a063539848fd5cba
BLAKE2b-256 6f497e7e98e01ac4b457b4bb9a8ff799c95edf7d664b2c98f610d264c5e17803

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 58751bb9c895b243e5b0c3156e932d094576fba5d27286968fb22f6dc7bc72b7
MD5 df41d1078750e69e470288fe767da94c
BLAKE2b-256 154f3a9c43d566fd1efbb3a88cea9a5b0c51dd88e1028411aa12c08d4a6ecfa1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 540e593af2f6b148cad83548c7944b20de2db55cb8d55fb591be9452c321dba4
MD5 26f34582b82076d094f7672f0df08748
BLAKE2b-256 e0b6edcc83bbb0f58f10b919da0d4faadda3c64e9df837588eb07aa106bbe09d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 67c0c94c2ddc2056513096198b6afddbcc5330ca9eae293f8635d36cd955f89a
MD5 f25a951808c4cc7a200b8a06fc750b3c
BLAKE2b-256 512fccbdbc221d9f3c346f5fbae439f299795be136f878bda75a340db6a98ee0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 408c5bceee19bf98193476dd2d268d93daa05d3bdb212415f776c0abe4d43aaf
MD5 4c3972247d1281061fd0c81392cf8c49
BLAKE2b-256 d1109eb9b9c9b2fa824293ca120be20f48249cfd6e7f442f8b13477d69470589

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2603bd71f02e3cbc4c501312b763dd6858a464f686e97b1105229de9b94b28bc
MD5 8e818b740b5f3798b6bda13e1f1a8daf
BLAKE2b-256 2deff6ace6c43aedd0b1dfc5d943ac041f68e645d07e3938951faf4944260f51

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 12dfb8e472ab197e2dd1eaa6c4dc3a856098d5ff95948b5cf7107330694ad7b6
MD5 dad76ed07448df435d137a92a3757304
BLAKE2b-256 e622d0d8853c414420fa92387a3a06616be7753449a6ff71c59fe0f28ee0f59a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev6-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 6cbcd4ba6e2217f09bfecf037afb0630b85f69a4ea2dedaeb0ad57fda7a55514
MD5 44da796e25fa8584a8e3b516458e1c93
BLAKE2b-256 77ef76257acca372fc608e56ab127d06d11c76af1b2693fcb339283ab17302c5

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