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.8.dev1.tar.gz (4.2 MB view details)

Uploaded Source

Built Distributions

python_sat-0.1.8.dev1-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.4 MB view details)

Uploaded PyPy manylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev1-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (1.4 MB view details)

Uploaded PyPy manylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev1-cp311-cp311-win_amd64.whl (988.6 kB view details)

Uploaded CPython 3.11 Windows x86-64

python_sat-0.1.8.dev1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.11 macOS 13.0+ ARM64

python_sat-0.1.8.dev1-cp310-cp310-win_amd64.whl (988.6 kB view details)

Uploaded CPython 3.10 Windows x86-64

python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_arm64.whl (1.3 MB view details)

Uploaded CPython 3.10 macOS 13.0+ ARM64

python_sat-0.1.8.dev1-cp310-cp310-macosx_12_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.10 macOS 12.0+ x86-64

python_sat-0.1.8.dev1-cp39-cp39-win_amd64.whl (988.9 kB view details)

Uploaded CPython 3.9 Windows x86-64

python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.9 macOS 13.0+ ARM64

python_sat-0.1.8.dev1-cp39-cp39-macosx_12_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.9 macOS 12.0+ x86-64

python_sat-0.1.8.dev1-cp38-cp38-win_amd64.whl (988.9 kB view details)

Uploaded CPython 3.8 Windows x86-64

python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.12+ x86-64

python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.8 macOS 13.0+ x86-64

python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.8 macOS 13.0+ ARM64

python_sat-0.1.8.dev1-cp38-cp38-macosx_12_0_x86_64.whl (1.3 MB view details)

Uploaded CPython 3.8 macOS 12.0+ x86-64

python_sat-0.1.8.dev1-cp37-cp37m-win_amd64.whl (988.6 kB view details)

Uploaded CPython 3.7m Windows x86-64

python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

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

python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp36-cp36m-win_amd64.whl (1.1 MB view details)

Uploaded CPython 3.6m Windows x86-64

python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.1 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

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

python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 3.5m manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl (806.4 kB view details)

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

python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 2.7mu manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (806.4 kB view details)

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

python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl (1.9 MB view details)

Uploaded CPython 2.7m manylinux: glibc 2.5+ i686

File details

Details for the file python-sat-0.1.8.dev1.tar.gz.

File metadata

  • Download URL: python-sat-0.1.8.dev1.tar.gz
  • Upload date:
  • Size: 4.2 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.10

File hashes

Hashes for python-sat-0.1.8.dev1.tar.gz
Algorithm Hash digest
SHA256 9d0b3fcf23cb8fe58263f4ee57cd2c9a8e666ae606bd445bf4460065c416424c
MD5 f0836e16b5a9fe97c768b0d84deca058
BLAKE2b-256 7152120af937e8b1f974f306bda25915c25368e122a8cb02967cba0a38111773

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 e053ab3ef446c878dec1af9ea4242c7525061a99dbcd9c355b2704771459f3f7
MD5 cc3612091645eb22373de33785bc5fde
BLAKE2b-256 d4e048d0df23c86554a8e738e63a4025e69c78006df8992f16373717ea9abe13

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 b90e38df3130c1f90109221f34a3b97fcf7b8f749f7f8435bc70f902c46fc95a
MD5 466005899c4a55693eca293cf8fb9c7c
BLAKE2b-256 9be53ea196c664def435c906252912ad1ba237309958c1311cb0ce14e3781181

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 9db7206fa9c173e79aa9a58ba73b1626be3ef36825d9ce2c16d03fc7edec662a
MD5 9f0631aa75b7bcee57fd7b74071b6c75
BLAKE2b-256 c56fc5950d5929e3a880a471075ff97514751b2ca9c1042dd3851eb92b0a91f3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 105a9c8fa0dbb26142cdef4550b3cd2a5c0da8854b0958a6219b77586b6148be
MD5 4f4572452906247cd1d9f7e4041fa6f0
BLAKE2b-256 dc6b728425df3eaf719b1617a0b3da774b7a89ad911ac0763f4a138aad7b9edb

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 c65e1b0fb3d3954ff14ee2192cecc8e99cf2eccf1f26145d1b76df9113ba2e3c
MD5 4db012c3256a43649017a7dc7a1e9473
BLAKE2b-256 c3b1fc91850a54f5a6362c1f1c825517e39aa9bb3288fa10957b0480380d47ec

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp311-cp311-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 dbc6fbb124c9d0c912df5bef8d46ee1748c5995ca5c5697bcb1d3886fe21b600
MD5 516171191d0fa42976391295f7f3ea7f
BLAKE2b-256 e55bcfb161c3460745a5feace625199e061b95423abaafd70e86659a48f8e3a3

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 920a49a1665e8fbfd0f578c938a3c38d460ea0e11c195ede3af409d3780bcb43
MD5 06cdc4cc19f5ffc761a16b204dcc7d33
BLAKE2b-256 3e9bb9d33b8cb53761411be4e4bc239818ec5dda52b34974f35ff5200ad6344f

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 a7be08ccfd7ef6f52e72c816bcbb5890d72dec68076002a63b2515ebe16e7229
MD5 d988a8137e9433753f42e294b62f83a4
BLAKE2b-256 cd2cd704af60a93de2371699f2fce419c1d27a855f97744dadf257541c1fc0ae

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 aa791dce5e8231fef00e4973db205da4d7f110b154cba317c2057c056cd40f1d
MD5 4822c889ae15859a803623bb81824c5d
BLAKE2b-256 59984e2355b720a035dc5b95c77a01a9021a24e583f80477e66873f6647ffc1d

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 4d0be4c29146313c9709f2b37aad66eb61146eb4c6f9ef6fc26d0b8205b468fe
MD5 a8c08543c4fd501d8f47cec1f9d3d465
BLAKE2b-256 ee21bcc7d097b2506aad9bfd40e4c4d98062c020be474cdccd2a9131cca8354b

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 9e816b7047b1b2bec638156c6e499af7ecc77c6c57c793797ca822814bfbd9e2
MD5 09ff21177182447bf998082040441754
BLAKE2b-256 512d265299716a2a16ccdf00a40a3046a5ae0ee86ab9426b5c832a144e2b6973

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 0d65f4b431e9dac270d4ada0d5c3118557e8ac00f8e95fc777deeb174f3b5cce
MD5 942472a9bb4f8bf74f5100eed1f94152
BLAKE2b-256 29c5a31fd154ac38a2fa9e15c395eaccebb78b600c640f4f0b26e0bdc984572a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 4edc772cca6188ee8e5eaa8fb65998a0438487c6df157f6349a94897f795d9d3
MD5 86803255d027ee763ba428f199cbdd89
BLAKE2b-256 161e24257c1f79edb30c0d6321fe8e457121ad45cd5c5065c2ff77c9096c19a4

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 877728ef5b6ead269e7adbe32a62cdf89d0f1ed9fb7b8493b1abe984872ddb03
MD5 fb1d56a2ae72f054ac944367d2f7488b
BLAKE2b-256 4e94cfc4a10c4e081b65814fcc4886325900c5c71956224f86e7fbe766f9863c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp310-cp310-macosx_12_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp310-cp310-macosx_12_0_x86_64.whl
Algorithm Hash digest
SHA256 7487314d1b302686510ff67776577426bb4a95bdbf47cb92cff1527a34642de7
MD5 b58dc4f852a484719bef2f5277f1a8f5
BLAKE2b-256 64007b505664b339571f1936fd8a22258af87948fb8b973690feb0fcffad1216

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 e54963984179d2b3f93c882f26bba916063af9089be19f5b313f2db02f2a2459
MD5 3d90a75d529c50a16f2ba3ffbd53abd1
BLAKE2b-256 62a44ddffe06c667e9727dac5102187c13f678efd37e0aefb84cf73ddb756382

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 25af0d570d0b86e258ebac16fd8e30cbac306a2fccd8d8278933ff3f8228ad67
MD5 cc310e0b4d77c1a1480c7fa5f3cfbacb
BLAKE2b-256 dd0d49af5de000ecc0294cb58a53f4a00d6f2ff4ddf07b8f0e4c222cc9316599

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-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.8.dev1-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 76217bd349122ede64a61c0212e5acb8146f2817030383df9fbd3e1fe5ca44b6
MD5 ccb84633d5ee9843fd72f4b679f77f6f
BLAKE2b-256 a6d02fdd6f277d21ed863df0a6ec5a86a2155ad1d0688171e7d80ba3e6b4fe80

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 ad3ff5acba0c6c194d494023dd639941a755ab8c89a675e68ad7bf0722c8153d
MD5 96537814689d7df05024bf97fcaa6347
BLAKE2b-256 35aa65c2b6bbc4dc337297b929a14fc0bb2a27442d38b01de34d529df4e27000

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 e8fe3ef7160facffc2a5f5a564d9fc020abccfbf096e15fde646d5a59f7e8747
MD5 8277ba5626107301a3ffe20609eb7d4e
BLAKE2b-256 ab8772a00c7cd2eb144b2fcd9e362f2694be3a34f6707e1ca885e1bc413ef340

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 555661c26602649e77b1a03976ca6fecadfdfffc910e87011820dd9a248f3b8b
MD5 d28f04fa7814126572486fccbebb5207
BLAKE2b-256 ac8fb5384f0d3f5925bbfd0dd17fddf15b8f9a36ae75cddfb62ad67e8399b06a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp39-cp39-macosx_12_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp39-cp39-macosx_12_0_x86_64.whl
Algorithm Hash digest
SHA256 af9c5adcda171980d57b434814c18befd3839a08dedb051450f4d1f79f1c963c
MD5 28d52bf5ac7e5019c0a70ab45920ed1a
BLAKE2b-256 6b08b143f034c5bdfb3666b99643e424f637f07b356ba5b4f9093a38e211cf6c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 db64ea149743de8e03fd9312eaf9127326d229d803fed577ef18798213ceeb81
MD5 0aba09c38dce9022d8e02cdf4db3877b
BLAKE2b-256 5061b93b8c9332f8683d2c5a06500a4a30be4b8dac7aeebdfb1825481c6e9436

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 6c5d73a9638e0f6849762bd690eac9ee20e0b8ee5027954fbc896f762ada1db5
MD5 ddfc64e251d3008c381caad6b6913d18
BLAKE2b-256 181320a9183c953d0126a139249ba06fc49bcaa72763dffe27a4e6ff92278337

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 8e46048db2a996f1c60030266042f1ddb9b45d80da20fa83586aadcb655b874c
MD5 8d29e38d9b5b250ba3e1a45aa00fa6cc
BLAKE2b-256 8e22bd7d4dd8af6b4a9eff8161127b469d9a9e1940d0d6210fa3925a4582b73e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 5f82a1c06a5e1bfb01162f87e24f982197a11df66c9b6c6c8849e3528659f4aa
MD5 119043c984dba638ff6a25f8c7ce265d
BLAKE2b-256 4454961e38716555426817d1fdad9519fb35d791c3d6baa2891fd52279ce29f5

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 99ddaab7e6868899cf43e00472b625b54bde9d13467fb1c206becb9aceef0a8b
MD5 f5e808e09c9e6b2ceb7cda65dd856508
BLAKE2b-256 fd7c9dce689c0db642dcc0da5777afffebbd122b88a2b511031f1eeaae6e92b1

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 36676b873ade5aa67211aa88d150c353273c16d283c7b8dfb6e4ac6e5502bac5
MD5 34b9028331e291054c11926497fadf5b
BLAKE2b-256 0d3c98f6dbefd2bdc4a681a6bbd3f5436b48823540c11cf9790c274366427a09

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp38-cp38-macosx_12_0_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp38-cp38-macosx_12_0_x86_64.whl
Algorithm Hash digest
SHA256 109a5362e4fbd363f0514a092803792cce99e2614971c405fe6080c51e735d42
MD5 a2daee5107b029e5bf3b4aec09692088
BLAKE2b-256 e33c40134013405134b61e6bcaca36e0d78ddd7e95933b8fbc1d6c744809a5d5

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp37-cp37m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 60a2f1ec08414df05e7c1d0605a853b60000fed1bd49824da3aff8020f02f181
MD5 6949ad601e9d1a829d79f6d6dc4654e5
BLAKE2b-256 bea91ea8ef1ffa25e4ee4580ca1850432540bf5cd84630e871cd3694445453a6

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 05e2af26c87ab4463f7aa2788a083a3b348c6c264f5f9d900cf6e2d6982c3d4e
MD5 e452e7be00241441d18f3c34a32e721e
BLAKE2b-256 08b45fbd78a35d550a8e96d32c722b76e3e35f546a26fb2fe0fdbe33043516fd

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 e552053ca03a3077b659baa52bb97da95ae364538d69cd8d1baab70e0e054100
MD5 3562fc5a496115da25afccf236d7b80a
BLAKE2b-256 df45182efa1249d5e5de2bbfef0a461fe132b04b2f196392af5eda998edbb288

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 01b4e90fe7da15ec5319db31e71c71e247abd7113b0e20d99b3a750038026ff2
MD5 57744469c230290841f2eb87de11935a
BLAKE2b-256 08fcff3c419e590ac9895185d969f6bc6aaecd061f726f05cbb1b49ec8b8fd4f

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp36-cp36m-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp36-cp36m-win_amd64.whl
Algorithm Hash digest
SHA256 2278fa4fd63ef8fd2efe72dfe7839d725ec953509408308f91106f9ac0b9d8ac
MD5 2d165d7705e7aa3ad292dc6e01504c7f
BLAKE2b-256 06db0129d551739613b2d38af4cea31201b45dbb15695e1412f5b504b96af65e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 527c77b6e586897fca10368218369f0808dc75cdf8d17a849161fb44dd0e9e1e
MD5 e1482c5e9b20cabd042133056c868769
BLAKE2b-256 653ce04dd9c65c056d07e20355ee13293a57609a449215a4dd1f1f2e0c06209f

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 3ac149598aa55f14cbd5ff3ccd1c74c25ed6f2f22a615f5e7809df41fa932e18
MD5 d03d59b423ba5680d2c6af2ab0eca559
BLAKE2b-256 179d4f2ffbba4c40da8d8d01c311542de6d4238f2d6fc33eeac81d236d2330f1

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 bc6a7ea852d96985a8d079437906e949f5c733c4ad15b1120ddd507ac8549c22
MD5 ffd4ed27fcdc967c3ca59fde47a101d1
BLAKE2b-256 da394e767213b1b3740cbb8ccfef5e3912b844f943b1231cf34f0c6a04682833

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 3dfc09f79a0c5ab12be2b3ee73ec006d4fd73b0a95abbe58be47149f280509ac
MD5 bad87bee851ecd51fefa30176f1addf8
BLAKE2b-256 0bbcf4780cca6f723264fb0767c08837f669af815a407fafc470d174256e9cd9

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 e0c2c20f26b5c5985475c3eadeed08226b46fdeb87fc44ffb061403a8f3b94b1
MD5 615c22fd52237518f99658d0d06f38c6
BLAKE2b-256 d8eb11488817a66229c91524c9e33730da34cace20c5df32de7acbf60cc06277

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 9dc7b02d99e25d8675b751f0be33e2e860f55fb32e3dbcf348d6a5e667081451
MD5 896f27aa2587dfea57a8dca833ee0717
BLAKE2b-256 cb5c28f26f75f683603b3e85ac5741c0887dba6b4d9f837414542f08de3b9c3c

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 2d80a032fd629a60c9c00776e8f8b390326f42c59ac4b214620ba24218c51561
MD5 f584097401646b61290f926261a3e2d1
BLAKE2b-256 fc95ba596a3f66576b07019c534e0e1bd98ee2b647c45c0572703b1d8c5ff307

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 bae59877595082a337f6fdc19039dba53ce235d2cd646b43a4e3d833ebdbeb01
MD5 0ccc8d99ffe6370b2f9d4ff29bd03f45
BLAKE2b-256 87a24d9a4edd33008f73f8f737eb7e63606ac723e8c359da4592287512d68884

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev1-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 456f0f243bfa447b898d561b4070dc82daa9b751572e5946dea54f81dd503d2e
MD5 a3e06467028310d2667b2de229fdc32c
BLAKE2b-256 0b267d9b2bf89d6e3a1a28f87fe796d7be839ba0b6d6f111a64511f4c6bcae61

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