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-0.1.7.dev25.tar.gz (3.6 MB view details)

Uploaded Source

Built Distributions

python_sat-0.1.7.dev25-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.1 MB view details)

Uploaded PyPy manylinux: glibc 2.12+ x86-64

python_sat-0.1.7.dev25-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.1 MB view details)

Uploaded PyPy manylinux: glibc 2.12+ x86-64

python_sat-0.1.7.dev25-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_arm64.whl (962.0 kB view details)

Uploaded CPython 3.11 macOS 13.0+ ARM64

python_sat-0.1.7.dev25-cp310-cp310-win_amd64.whl (830.8 kB view details)

Uploaded CPython 3.10 Windows x86-64

python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.12+ x86-64

python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_arm64.whl (962.0 kB view details)

Uploaded CPython 3.10 macOS 13.0+ ARM64

python_sat-0.1.7.dev25-cp39-cp39-win_amd64.whl (831.2 kB view details)

Uploaded CPython 3.9 Windows x86-64

python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_arm64.whl (962.0 kB view details)

Uploaded CPython 3.9 macOS 13.0+ ARM64

python_sat-0.1.7.dev25-cp38-cp38-win_amd64.whl (831.2 kB view details)

Uploaded CPython 3.8 Windows x86-64

python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl (1.7 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.8 macOS 13.0+ x86-64

python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_arm64.whl (962.0 kB view details)

Uploaded CPython 3.8 macOS 13.0+ ARM64

python_sat-0.1.7.dev25-cp37-cp37m-win_amd64.whl (830.9 kB view details)

Uploaded CPython 3.7m Windows x86-64

python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp37-cp37m-macosx_13_0_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.7m macOS 13.0+ x86-64

python_sat-0.1.7.dev25-cp36-cp36m-win_amd64.whl (889.0 kB view details)

Uploaded CPython 3.6m Windows x86-64

python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ ARM64

python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.5m manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 3.5m manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 2.7mu manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 2.7mu manylinux: glibc 2.5+ i686

python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 2.7m manylinux: glibc 2.5+ x86-64

python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl (1.6 MB view details)

Uploaded CPython 2.7m manylinux: glibc 2.5+ i686

File details

Details for the file python-sat-0.1.7.dev25.tar.gz.

File metadata

  • Download URL: python-sat-0.1.7.dev25.tar.gz
  • Upload date:
  • Size: 3.6 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.9

File hashes

Hashes for python-sat-0.1.7.dev25.tar.gz
Algorithm Hash digest
SHA256 ef9399e77b81c04c86058822274cf7b78970683f0143dec0fd87b1dc40df473a
MD5 5031cd43d4885eb8c0b5456dafa0f92e
BLAKE2b-256 611f2569aff31ab18217ef4fe0301f1de2902fcbbf78a1bdbbc3397d00b99b3e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 087f124900de74126da8a3b408774069ef819686407c1cc74796534b686b9fd4
MD5 2743fb83302c273b6a6c5cebbda8b8f4
BLAKE2b-256 68b218aae8f18fd864da4628e87ff6ff42b2693064a2c750d300cc9f30dad03d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 09fdfb4e281aa7aa2240ec1c91b72e6b691d314635e2a8967dd69c833b898fb2
MD5 2637deef69bf72644e89c29dacd431ed
BLAKE2b-256 830ba922c8efa4532f6f486f72d42400bc910c7b682a7abddde6460b9768fe60

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 8d69da3c6eae2ca5df8a61eef26262d31fab2164766ea446a45cfd417b86b167
MD5 661c2a1b3c4eeb4110f8b868f74876c6
BLAKE2b-256 65dd11547a50bace64bc05cc4ea2ae0370522ffa3d94640285a64f887d3213ec

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 242ccc8a90c2f92c26656c1906ca451b5cefbd5e2704523228dbdbd2bb39dcd1
MD5 b4aded4f22afc7fde38c9b8cf9fd2fe9
BLAKE2b-256 8e0d9f9f798482f43b010a1d5b97235c398b012a53111139bd9427626067edc6

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 a6269f45f9bfac48db1ee93c26e9a782198cb8e42d929cafaff804fa82863aa9
MD5 5d2cdbbb46e01f9c824d0d185ca561eb
BLAKE2b-256 18b9d3b929f2fd52426f6372d8bee66c6643c96d80306cc928774a0873599b1f

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 0b72d8dcf6b37ec513d7ed0fd33911e1615a3a8552712a25ce9fa87e9d596386
MD5 0838da2bf7290c3ce24720763ea62eef
BLAKE2b-256 80906feaeb585388c16aba3bdb97057542a701c8a71ac5e8a29e05a804c7c984

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

  • Download URL: python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 3.11, macOS 13.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.16

File hashes

Hashes for python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 e18da654e4198fb279a45fae7dd77eb7a9a89b3da4647ebfbe037c914d61b07a
MD5 dbf58f2919dc8525d395aca449c00e77
BLAKE2b-256 130014fd8b3445e2a818af470a44b0a49dae5bfb75f6a412209d26308bde8f5c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 2d2f9d19ee0287ff08d67534fe9a0f9a0dc98ebc18183cf39bd5dc2519f9b318
MD5 ded0041ca408f60fbe8f13ea2464e8a1
BLAKE2b-256 168702b05e1a3334889c28746c5d2e6e221a80d09e0bef95eb9c098f71edf07d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp310-cp310-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 640b8a702861f0b0c58798f43b910b9a80b2b57b64c9ba43c29e3457dedb8ad8
MD5 5ba70aadc96b427206f2e1cb2854e085
BLAKE2b-256 14ab44dfd301d0f016c6518f1b5d91156de6faceeb75fc893851091dd06f0fb3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 7c294914b5278a18ed87392f86e7ee97077a137a61fb7b53c527f556dfccd4e1
MD5 0c134c24cf317564c69b169ff104bfbe
BLAKE2b-256 87b56cedbfef30983ed4b2d5637d4bf1bc22e67d8dcc749ad412c83ffa1a7191

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 f056c391ea397bd3479d2576277dacd66a724224381a80e3508332a57e911e05
MD5 faed92ab66d31a4dc24bbfbb5efaae54
BLAKE2b-256 c524962500492df96fe8e00ec3b288d46dc67a293aa8bdffc2708ef99ca9c9ce

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

  • Download URL: python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 3.10, macOS 13.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.16

File hashes

Hashes for python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 92c6bc4b0e8a0134458e74268bfc6ee51d8c36efff06f683f44a38163477ee9c
MD5 4c2f4dda013e65b9e29c08efbb03b73d
BLAKE2b-256 90fed91275c5fe8ef40f0c73ff13b5f9114fa20e43903dad3f9010bf7c2f46c0

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp310-cp310-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 8afddbfa7e8ff3c6156e4be5dd735a805300f6487e631d069e1fe7ec311a1f38
MD5 ad418e6cfeb78dd245c707ce87da10fb
BLAKE2b-256 e040429bbe0fca79a2abdde55122228df114fbb0138201764571779b6bf8181d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 00548d866049dfdd67730e12b692df8beac80be87abef1a08e2e78e76108c7b6
MD5 4e4ef93fb4fb23e502bcdca5620c2361
BLAKE2b-256 a1c9c749f53ace809ae3492aa82049d1c57b6bdef1253ee1bb68ea0dfe9aa936

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 a1082e8e9c6c0255a7f02d7f28ef77541cce12d9b5f4c089256c7116e51599e4
MD5 8e631a6eee141eae4c4dffe0bc30e6ee
BLAKE2b-256 375ec14684284d60e3e9fdcdad0a77a179470e5cd68fa4bf84779104e9c658fa

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 eef6223187c7bf033298d8437360ddc6afbcb3de4f72e1f9477ec317f166a4da
MD5 0bab36d6e23ce9461c195bd4183afb7b
BLAKE2b-256 fd65fdab47f66ada7a3efb209252f965ac772145457c596f44fd4555e192253d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 b5959242cae18107ccd61228f10dcd3732e411f9a8b04def00e9ec635a84a657
MD5 fb1d122538f860635048754a7a45fa69
BLAKE2b-256 9a3ed5bca49d0ea0e50421beea09d0252dd6d5c7a1b09eb3c738b6469ad37e86

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 062100d48f74b005bd45ec0f99b5fc488ae2336ffac7e2cd0c6c459f85f39039
MD5 20687a84eb96be303891f5a4424bae9e
BLAKE2b-256 e8b357bce2609d1ae24268522629460a86b6468c99ede5eb17da913e56b9298e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

  • Download URL: python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 3.9, macOS 13.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.16

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d93de7df6d695374b2970d3307995e1a47f416cb9a6855cf13f030c52654913a
MD5 a21109078b5e799f3cf367abb5c6f463
BLAKE2b-256 6a46b3b7fbf1fa5617e36ac66ca1dfec527f5d24b6ec4fb786cb37af92fed338

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp39-cp39-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 020349c55251f3cef3a385bec90a2a1707c687fc292dba5b1fb6b271106079d6
MD5 a56a687f838a884b4e148994aff1bed5
BLAKE2b-256 05d832a13d76dd0badcdcef7a9a5b9b8d8b301176b4b3b1cfea26136002390b4

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 0f8ccddbc593d7e1a6bbf6a1271bdd611490739790a1ed11302911269f88520d
MD5 db05310f9d3c2be7a8292b38204fa1c5
BLAKE2b-256 1483e2d49aa33496eab75deda957baeefb74377c50d516f112d087e83140feb8

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 34c33b88e841e4225355a2f8148fb19aa61b96df0292e12b89634da90a6fa12f
MD5 88ac3647126604c302f7a49518606857
BLAKE2b-256 e084c29bdf21774178349b4dd0cd66900c2ae8751421fbae89913763655bc07f

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 4d90e0bd0dada20c2fc659a3e511741c4963ff45dada8e8a5ed64dd92a451c61
MD5 61b9754be3c0720cb80911c766352e54
BLAKE2b-256 a84ac0c7be151458886dbc465984f8e440acaf4c07d669f7c6ecaed28e75d4bc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 fd9299f13a7cedc654ea45239339ec42e1a4e9dcf026dde84c2be1f138b3d4b1
MD5 d3afe24c604e5a2aac70510ef7f2346d
BLAKE2b-256 9246db5698092fb8837113efb002cfe618dd10f56570e8c9969ac5bf37ea675a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 775637fca31d872cba1c087facb6d77a875288805f397d45f5725bb821afa02d
MD5 0570144286b5c8f14085c72ad1ebf6de
BLAKE2b-256 64ea77c3c706743d30c8dcc5feeea7a64696ecef0747dc931b7f91d903c67bfc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

  • Download URL: python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 3.8, macOS 13.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.16

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 431f0cd9a8c5463940346372972a2ca4c5853303a2f3682bc6c2437e1c68dede
MD5 95bc7494ed9ca1ab89fecbc4489ce681
BLAKE2b-256 53b3c43dc22e9b12b0ede7ce9a894db1ca013b4728355487f4b130f90520e490

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp38-cp38-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 44959f738a8370381cdc22b8858b627f7ce792923ec1153c47ff4cd0271ee169
MD5 5257c3c89c33d2a0dd3f950f15dcd2e2
BLAKE2b-256 5f2ebb9812d51a8103d748f58460714296b1608555d6a396afba15bb1080b9b3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 b83e48daf5c54d216d2af412e88642aac70eb2879d3dc1dee4bf25ae2f10aae1
MD5 bfb023ab92047c32078d37eed14feb18
BLAKE2b-256 ef53eb03727cc3568a5687d46c93bdda3a5d9b230d45bdb951b94749e381ac84

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 221197077872439276315af0b7007e5b28cf60d1a0a58e4f192e4a902a2adc2f
MD5 070106077e525853e4b49c8375f2dfba
BLAKE2b-256 254f5a471b353442ef5c267363cbfab00622fe598d169bf339d750a0531e9392

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 93667d164f5e3a67820bf5e8756c33bf066ea5d1f26958879ae32a99da4a0595
MD5 4045ece0d79e4c587b419a0e722c6216
BLAKE2b-256 aaf4e20e62c80587cc9658777db635b65802e2520584528141ab28da3b0ebcb9

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 1e443b8b1fc2a3a66d9dba76518b83d0d94e811d8e2501599b9d43c3b1a1d070
MD5 1941a233d483900b0ec426e97c85dedc
BLAKE2b-256 3773f4104ac95ba34af26502848337c4288a7e358a1a48e0b502e2f084f1a59d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 5720ccc19f5df54906ace67b8effc297b87b68e28de23780ffe345530f8ed56b
MD5 dd56a8678bb6406feeaf49134fcc87f7
BLAKE2b-256 b1d5fe31624fd354c72e3d053779c66bba382e163c0502e24a25857efe391748

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp37-cp37m-macosx_13_0_x86_64.whl.

File metadata

  • Download URL: python_sat-0.1.7.dev25-cp37-cp37m-macosx_13_0_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 3.7m, macOS 13.0+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.16

File hashes

Hashes for python_sat-0.1.7.dev25-cp37-cp37m-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6e08d8f1c6e21dcfa462f7b4de5d136b182c6f1301bb23c9c2d45786dbe0b08f
MD5 8f23021c186968894871f947e040bcc5
BLAKE2b-256 21412bc4977beae8bd3496f375a86da7b3174589f8b14620af19dd1e76e50fa1

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp36-cp36m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp36-cp36m-win_amd64.whl
Algorithm Hash digest
SHA256 54b1fc01603a4e8acb3b307ec22bf83c30764179f8400526627e586ae5582b87
MD5 4454a098c6c1e7e14983fb0d8a48e4f1
BLAKE2b-256 e276403da010bd967ed3b414ab6979058e773c5947bdfb9cfd3881d059465e60

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 6b49af1d55eb1784d4f08fa7f8bb3645725e072a6bbf796885f6d6950854eabe
MD5 2d4326ca4a5a0e5194362fd50511117c
BLAKE2b-256 cdf6a4b8cdc35b085182dfd0389364014791b67415e30f55f76fe64f3f195974

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 4586ad194ae5a457279072c6bf6ec3a621bec4accb830721d12f07af5fea35f3
MD5 3d9500fe6f0ae599014648d7aec6ac14
BLAKE2b-256 434126bc43d3930ba1a6b5fbf3e1a6e293c1fd2660ce7514ce22a0233c1f7a00

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 edab0f2c17a2b95e8274f75c71ed6824dd197c526a25aad92e2fc7c3d5dd2a32
MD5 1c071f20c5596a6cd935a0c008dcc7f1
BLAKE2b-256 1bc8dbf41a1c2b30ab6dbaaf3955665a61cf78592b732a908c78c6f8beb63d55

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 256ff6b67b45019b83b08c6b3a262ec07eb8f830d6c80cc3b8e73ddf9994342c
MD5 8245e20b2ffa890f143b45ac929e0f34
BLAKE2b-256 769dd483b57bb097e3653fecee92f073d42851736a9543b2f1be10961cba0af5

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 c606ae08c42487d9786ec846eaa8e5bb3e099bcef1715246cdb830f7f9bf9f66
MD5 5c548080603ef30a751e36b490e4180b
BLAKE2b-256 0d32197b81990b6e4f341f5361d60f766f4fdfd40f1c8ee7619759f1f751c412

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 ba11f2924e137a2fa0738ac0e025939397d218595b449a944093f740162415ee
MD5 f27d3855f099945067c4b62669f4f0cf
BLAKE2b-256 3bf5a9dd7588efc7cac2236ae72085e0f49c40f0d6176c32a666bdd513d14a35

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 c51d5b69424d757cca961fb168c224db04246dca6c535978d0413e2f8bffa46f
MD5 ed332d0d00d36163d2f5a4ff7a70432b
BLAKE2b-256 2e1965c2301941c3bc91883b47b779ea53d6dda3b6666a887dae192cae445f51

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 663f07d4e9af2c640e53c70fb4d6d1f234a5e45ab8b62def2047a111ce399449
MD5 9288d08adfa312ea0e16f9206224abdd
BLAKE2b-256 958c42a0fd8a674e2143ce6b13af44e636db8badf34a6e7fdf2102cd4d109ab8

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 ab50f7482a7a7ef3d7c6daa120e6dfe1dd662d6d602f774c2b8f9c92b8274a12
MD5 2e8b96ae501a354e6bb8be45a283f924
BLAKE2b-256 c3cac5c67c6d57c71e1df16699a8268fa3969a2f2e65af53627d73f986393232

See more details on using hashes here.

File details

Details for the file python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.7.dev25-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 8d549e25cda7c970601a9bfae52e12911433f19e8536e791d883ff6bdb59e758
MD5 a8185106210d13c002f10fc8bbe83672
BLAKE2b-256 983d9cdb0b4deae8aa65c3ccf7ad3220341236023f0f864b5112cdd12df1bfd5

See more details on using hashes here.

Supported by

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