A Python library for prototyping with SAT oracles

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for aign from gravatar.com aign

Unverified details

These details have not been verified by PyPI
Project links
Meta

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

Verified details

These details have been verified by PyPI
Maintainers
Avatar for aign from gravatar.com aign

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

1.8.dev13 pre-release

1.8.dev12 pre-release

1.8.dev11 pre-release

1.8.dev10 pre-release

1.8.dev9 pre-release

1.8.dev8 pre-release

1.8.dev7 pre-release

1.8.dev6 pre-release

1.8.dev5 pre-release

1.8.dev4 pre-release

1.8.dev3 pre-release

1.8.dev2 pre-release

1.8.dev1 pre-release

0.1.8.dev17 pre-release

0.1.8.dev16 pre-release

0.1.8.dev15 pre-release

0.1.8.dev14 pre-release

0.1.8.dev13 pre-release

0.1.8.dev12 pre-release

0.1.8.dev11 pre-release

0.1.8.dev10 pre-release

0.1.8.dev9 pre-release

0.1.8.dev8 pre-release

0.1.8.dev7 pre-release

0.1.8.dev6 pre-release

0.1.8.dev5 pre-release

0.1.8.dev4 pre-release

This version

0.1.8.dev3 pre-release

0.1.8.dev2 pre-release

0.1.8.dev1 pre-release

0.1.7.dev26 pre-release

0.1.7.dev25 pre-release

0.1.7.dev24 pre-release

0.1.7.dev23 pre-release

0.1.7.dev22 pre-release

0.1.7.dev21 pre-release

0.1.7.dev20 pre-release

0.1.7.dev19 pre-release

0.1.7.dev18 pre-release

0.1.7.dev17 pre-release

0.1.7.dev16 pre-release

0.1.7.dev15 pre-release

0.1.7.dev14 pre-release

0.1.7.dev13 pre-release

0.1.7.dev12 pre-release

0.1.7.dev11 pre-release

0.1.7.dev10 pre-release

0.1.7.dev9 pre-release

0.1.7.dev8 pre-release

0.1.7.dev7 pre-release

0.1.7.dev6 pre-release

0.1.7.dev5 pre-release

0.1.7.dev4 pre-release

0.1.7.dev3 pre-release

0.1.7.dev2 pre-release

0.1.7.dev1 pre-release

0.1.6.dev16 pre-release

0.1.6.dev15 pre-release

0.1.6.dev14 pre-release

0.1.6.dev13 pre-release

0.1.6.dev12 pre-release

0.1.6.dev11 pre-release

0.1.6.dev10 pre-release

0.1.6.dev9 pre-release

0.1.6.dev8 pre-release

0.1.6.dev7 pre-release

0.1.6.dev6 pre-release

0.1.6.dev5 pre-release

0.1.6.dev4 pre-release

0.1.6.dev3 pre-release

0.1.6.dev2 pre-release

0.1.6.dev1 pre-release

0.1.5.dev17 pre-release

0.1.5.dev16 pre-release

0.1.5.dev15 pre-release

0.1.5.dev14 pre-release

0.1.5.dev13 pre-release

0.1.5.dev12 pre-release

0.1.5.dev11 pre-release

0.1.5.dev10 pre-release

0.1.5.dev9 pre-release

0.1.5.dev8 pre-release

0.1.5.dev7 pre-release

0.1.5.dev6 pre-release

0.1.5.dev5 pre-release

0.1.5.dev4 pre-release

0.1.5.dev3 pre-release

0.1.5.dev1 pre-release

0.1.4.dev25 pre-release

0.1.4.dev24 pre-release

0.1.4.dev23 pre-release

0.1.4.dev22 pre-release

0.1.4.dev21 pre-release

0.1.4.dev20 pre-release

0.1.4.dev19 pre-release

0.1.4.dev18 pre-release

0.1.4.dev17 pre-release

0.1.4.dev16 pre-release

0.1.4.dev15 pre-release

0.1.4.dev14 pre-release

0.1.4.dev13 pre-release

0.1.4.dev12 pre-release

0.1.4.dev11 pre-release

0.1.4.dev10 pre-release

0.1.4.dev9 pre-release

0.1.4.dev8 pre-release

0.1.4.dev7 pre-release

0.1.4.dev6 pre-release

0.1.4.dev5 pre-release

0.1.4.dev4 pre-release

0.1.4.dev3 pre-release

0.1.4.dev2 pre-release

0.1.4.dev1 pre-release

0.1.4.dev0 pre-release

0.1.3.dev25 pre-release

0.1.3.dev24 pre-release

0.1.3.dev23 pre-release

0.1.3.dev22 pre-release

0.1.3.dev21 pre-release

0.1.3.dev20 pre-release

0.1.3.dev19 pre-release

0.1.3.dev18 pre-release

0.1.3.dev17 pre-release

0.1.3.dev16 pre-release

0.1.3.dev15 pre-release

0.1.3.dev14 pre-release

0.1.3.dev13 pre-release

0.1.3.dev12 pre-release

0.1.3.dev11 pre-release

0.1.3.dev10 pre-release

0.1.3.dev9 pre-release

0.1.3.dev8 pre-release

0.1.3dev7 pre-release

0.1.3dev6 pre-release

0.1.3dev5 pre-release

0.1.3dev4 pre-release

0.1.3dev3 pre-release

0.1.3dev2 pre-release

0.1.3dev1 pre-release

0.1.3dev0 pre-release

0.1.2dev9 pre-release

0.1.2dev8 pre-release

0.1.2dev7 pre-release

0.1.2dev6 pre-release

0.1.2dev5 pre-release

0.1.2dev4 pre-release

0.1.2dev3 pre-release

0.1.2dev2 pre-release

0.1.2dev1 pre-release

0.1.2dev0 pre-release

0.1.1dev9 pre-release

0.1.1dev8 pre-release

0.1.1dev7 pre-release

0.1.1dev6 pre-release

0.1.1dev5 pre-release

0.1.1dev4 pre-release

0.1.1dev3 pre-release

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

Uploaded Source

Built Distributions

python_sat-0.1.8.dev3-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.3 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev3-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.3 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev3-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.dev3-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.3 MB view details)

Uploaded PyPy manylinux: glibc 2.17+ ARM64

python_sat-0.1.8.dev3-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.dev3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl (1.3 MB view details)

Uploaded PyPy macOS 10.9+ x86-64

python_sat-0.1.8.dev3-cp311-cp311-win_amd64.whl (998.3 kB view details)

Uploaded CPython 3.11 Windows x86-64

python_sat-0.1.8.dev3-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.dev3-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.dev3-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.dev3-cp310-cp310-win_amd64.whl (998.3 kB view details)

Uploaded CPython 3.10 Windows x86-64

python_sat-0.1.8.dev3-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.dev3-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.dev3-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.dev3-cp310-cp310-macosx_13_0_arm64.whl (1.2 MB view details)

Uploaded CPython 3.10 macOS 13.0+ ARM64

python_sat-0.1.8.dev3-cp39-cp39-win_amd64.whl (998.7 kB view details)

Uploaded CPython 3.9 Windows x86-64

python_sat-0.1.8.dev3-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.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev3-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.dev3-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev3-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.dev3-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.dev3-cp38-cp38-win_amd64.whl (998.7 kB view details)

Uploaded CPython 3.8 Windows x86-64

python_sat-0.1.8.dev3-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.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

Uploaded CPython 3.8 manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev3-cp38-cp38-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.8 manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev3-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.dev3-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.dev3-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.dev3-cp37-cp37m-win_amd64.whl (998.3 kB view details)

Uploaded CPython 3.7m Windows x86-64

python_sat-0.1.8.dev3-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.dev3-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev3-cp37-cp37m-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.7m manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev3-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.7m manylinux: glibc 2.5+ i686

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

Uploaded CPython 3.6m Windows x86-64

python_sat-0.1.8.dev3-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.dev3-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev3-cp36-cp36m-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.6m manylinux: glibc 2.12+ x86-64 manylinux: glibc 2.5+ x86-64

python_sat-0.1.8.dev3-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl (2.0 MB view details)

Uploaded CPython 3.6m manylinux: glibc 2.5+ i686

python_sat-0.1.8.dev3-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.dev3-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.dev3-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev3-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.dev3-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl (2.0 MB view details)

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

python_sat-0.1.8.dev3-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.dev3.tar.gz.

File metadata

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

File hashes

Hashes for python-sat-0.1.8.dev3.tar.gz
Algorithm Hash digest
SHA256 9fd947004b02e9a2dfa9604d3cfc88f03e6ba5254f9f3ebc625f2b3db0c69760
MD5 5fdf656bba19a687a958eedaef10e63b
BLAKE2b-256 061182b7e0a74fde712b23edcea6613dfe2c1dffa71966e076b983631a675f9c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 79988cc5651a1cfa86dee96ef3a2e7f87893efcdd5c36073c58ab9eee5621e82
MD5 04f742415ae57ae6b11f893bd738c719
BLAKE2b-256 1819b3ee40415f3a1766ca20b86ebc311a21b2221e4068c96eb76ae566cf069e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 d7d33690730d201b0126dfdf6c4f2043303de4636d30a1fa5aba1e118eb99967
MD5 3c57d259786a8d1b115183ea4763667d
BLAKE2b-256 b714a176b79909cd1433147ca921629422c22fad1c6d09c78e6f1a3d53a7bb9c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp38-pypy38_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 e6e7810844e449b7a0aa616483cc6c27cfc5f1b915c1b6cb1d269915f6d4d656
MD5 ebe8316f65daff79ea665057d9be95e0
BLAKE2b-256 c7e0f9bb70e4113179a156798e0dda287d1c478ad866f4276334d5c8f2223d9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 6199a8b63f89d378eec420d42b4383cb7df9c6a684209761696d930eb43ada47
MD5 8ac9288c91f23f6fcd964bf25dc5095e
BLAKE2b-256 43c825bea1633a658996c1a9ae951e5d7958bf9efe6f40b463a7dd30dfa198dc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp37-pypy37_pp73-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 87ef42a1cd68ceb1bc8019fcbf4f35294387e870a2b9fa5447ffcc5910d2165d
MD5 7bb8d6254b79723b48d5510f0cefb11f
BLAKE2b-256 e7af2783d5618dc9be6e2fd3a86f525beb539168ed0ac03722a4ffe34b133bb8

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 cfcb48e812f3ac88e392984ea6a6035a32d4ff489857e295540d1335c29536d5
MD5 c4de7db3998bce393e430d1763201d7b
BLAKE2b-256 e7096cb1fa751fb7071e1ef5d1a5a6be25c051021a1f60afe284e265302f5c8b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 555fabd365fc016d7651cb35352396fe6114b746f1963c8907f8332ccfdb4da6
MD5 e7267410d1fb9d1126db07933b566a44
BLAKE2b-256 806f45f1aae3b832ee43c756ca90172fa85d363dd545a3f639e6d738540d5e9b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 901cd49cb13e6d76fa831a1101e58f61a60a124dc67877ab5f68511fe3a79ecc
MD5 8e45703d0c4ce617bd25168e3bcc1ddb
BLAKE2b-256 dc66c5dc6912d84f1bd8965fe2759fb8c5518d08f97188bdb3390dda162887ce

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 2aeb19bf3b83ce8f9640de284acb31dcaff2dfd960ca8d9e0501feda666eadea
MD5 cfdda774bad57ec0bf34e8d0cbf9bcf4
BLAKE2b-256 be6219065f2d0760338eef7718ace163d572244b2ec149aff4f2f5263dbb543f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 a0d33b055b474d8046628a2315bbac49a8314f95ff84060c8cba6c05a8240242
MD5 f62ffa66b5da5b37687bd7db0875594e
BLAKE2b-256 21f528279e3fb20f6200e63df65305cabb1108caac8dace77d48306f639e765d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 2dcb413aae401a10e9e0f3e5898a1b1e877dc201cffcc676887b226ce200b12a
MD5 85b08bf649e0395a83eecdb66d2cf165
BLAKE2b-256 2c827b8a4bfc4d21b3121450aed293f727e9ca44e72739b525ea2b3299f7f34a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 a5ef7873246a240925e9b06bd5ff1f676c9a66079f30ad5475362c89ce975169
MD5 fcafdd5602e70b07c6840627450ef4b4
BLAKE2b-256 ae403c53bcfbd945d9b78cd7d5c00350a3271a3aa849c2dc2a0cce1f9305cf3e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 26839d4a1b1544fd1555888d2d31f20533a42100359fae6fb2089abef7db43b6
MD5 032bb806be31b6ebf47a71be10af0235
BLAKE2b-256 b89b1014b1d5a6376e5c3b19c9b03c2e14cb35555919141f82555b45b711cdde

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 50e72119bedb07af0dc87d5193bbd2098c71f995440820f848150cda7f7dd0f0
MD5 cb865e1ff5d25f8977563a012901d8a3
BLAKE2b-256 f0eb43fbcc2e75dd48daf8ab2f0be6f40d7cfeb6d81da33d8daeb80f6a158086

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp310-cp310-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4851df879cf721cb78c86c4db72175a582e924a591bb90c54544b429e455d3cf
MD5 afae55af020160021ce7d3df913ee2d5
BLAKE2b-256 42f2e5592286bb63f28ec2890171e096d6c9b98f2a1278f1fa4a6c2a75399b4f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 5c465266e0a6aee02042ed2feb874a7cd33141fbc33ad4b851b892290fa0eb3c
MD5 76aa2f890c8595cf53ad01ae5d095eb7
BLAKE2b-256 8ca4f898a70af3c0db645b2acc7e31d7277493d99e0d768cfd417d9e6af3b32f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 f783901758c4b54ed12df884e0eb40bf2e0248b84a710db39a075f964f10f14a
MD5 6000ead6d8456da2dbee52e5af1a1e54
BLAKE2b-256 86492e31d70d53e2580970f0851d6703b1fc65b0b9c7dcf005d3fe16f439e46b

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 f59ae528f52b2ed8dfeabc87f4e161f9c77a73bc49c66a19dca3b54e205f7877
MD5 a088a689bb619569ed24daf25bbf5ba4
BLAKE2b-256 6bc8e6d3b04c010ca78e55b17aa8a96579f97ca4e9d7f5540557735bbf90ee69

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-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.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 5d0e5bdb537d1c85ef8be527429631fd235b197fa0cfb084112288ca6d3aaf93
MD5 baf2af7e7824e3fe7fd29847f89dd642
BLAKE2b-256 f4cafb678bd227506eb4356c6bbe7c3995a6af1c11ed29481c996f4c803b760b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 6eaba7996c2b93efa64ce43eefb609812ff4bc7712dab80cbf8a5996014f7a95
MD5 e8c128b7e92d7a509b286e111110facc
BLAKE2b-256 4dd8c9afbee8148ee4113ca2bd0e4cade46294a77a4d70a895da7c19816c2503

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 629505e845ecf1621a689061dfd1bf321a267465052fde3d5484bea7cd305cf0
MD5 983cc464ce72fb2ab480024173553898
BLAKE2b-256 c1f8ca4737bc8df4e6c2091c6dd7e2347abcf75e977eb84e4d33842da00ea28f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp39-cp39-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 7fdae29f91977eb20d371d8285fbc48a533e75b8fd023a8e3d730ec8b1b5dde9
MD5 d3b6a7f67dd2736110b650ad41139a7a
BLAKE2b-256 2ab97fe416ae61207135aa630a51f671505f12861fe03ee6c8cf99c52727c475

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 45141f90a2721feba9b52a893d517e92b64c9e2b783dbc6fbd680b9515d92c7e
MD5 d29a000538a6f8320c09ffc2351751f8
BLAKE2b-256 8153e1d8ccb0d64b6cc800fb74430e93e9dde52dc2e2866c29187d4c4c3b34a3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 aef4b61413a0fc12f8091e852fe8130c5f57fde1b3763dd76d96341ce98da814
MD5 56f3df0ce67d5e566511372514ba9c1e
BLAKE2b-256 77122e9a00094794bb5477ddcd6acd7af80bcb549c2ff895a8378147958882dc

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 f18a792fec5b705592cd499661859cef7ea3887030a7a834d55bf0fb8ba83790
MD5 75cd542d4c97e46115fe957b9c2ee648
BLAKE2b-256 dd3d41ce2412610b2027d10e5b208b70cb172b1383c59a56533a9b80b243133a

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-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.8.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 776e724bebee20ab32ed6b31d76bf5951eb0f7bbae3a3c043cd330fc1a9a21e0
MD5 891d842072db755598f4ca2282af3ad0
BLAKE2b-256 9276e47229f7b376d24f7c487f53e3a96514a6ad6533a2e7466693982df1108d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 4decf7fc45ac1a44b831479023da7a5662b97619dba1b35e1f89937d70810cd2
MD5 a47bb6f54769132ad1fbad6ead819a87
BLAKE2b-256 e088c383d291d97ae55252153a36fc3e56d266f16cc8c94cd98d87ca2845c305

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 802f47cd25d77bd4eb794bace39fc1beedbdb0264f6966b1863e6da2e3815e41
MD5 c5ffdac9028f7751a7525f3a81e8a4ed
BLAKE2b-256 053227a619996e03a5b6e688a83103b380a45ff5e4019a559ad7490ee96f2b99

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp38-cp38-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 067b7723a8e485fb90622b212c11905cdde3e91b7bae8604db1eec9b60472c48
MD5 1b6065e16085e907524d1a17100d67fd
BLAKE2b-256 b9ea8553afddb2a0a28986d5c880150198b5adf29ea18793436f74203af46732

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 22340e32e8fbd33d1bb7f1b602b221d3241844f0c18bf2d403ac4f7b5b128763
MD5 d0e701f2acb7da74f0c8f2e85be954c8
BLAKE2b-256 128ef0e50056204c4d0b5214c62fb5ce10a15f6d280fec6a9453e8ffc2f72f8d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 8a14a0fa82cf5a9153804233e76c938ba162807693c13bb52e9ab7eab3769fb1
MD5 2d8514f441c1ac58cfe54d79cd83ae1c
BLAKE2b-256 acac176380cb5acd2f6bfc1c297c99cfacedc850aba125378d856c97a7473fae

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 08b9556f07fdbcf8ca1bb8a0a45c2f491bbeb14442bcc2a4d2178d5c39f02d88
MD5 e7e32b06a3079c97c7f8c84ed9289044
BLAKE2b-256 45b7b31fee6e77c3b1bcd40f2621834271dd9826d0b02d1e2470702e762f4988

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-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.8.dev3-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 2b6a03763d81e19b7cab272dfe83d73f7ab2b9ebf0d8579783685d05d482c575
MD5 77701145824ce149b0394ad9d388f0f1
BLAKE2b-256 08735936978c09e1c71dfae1cac9a78f656677520070a4fa21be9118519e2feb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 85010affc6130ddbebbf3d5e07d35e8a4f9895d9b3662d7332479f2ca5625e53
MD5 ddaf2d90e076a9ab31660108c2b8b36d
BLAKE2b-256 65b667740d37c539b7c45a23219d0c9b0876854e0a8d3e1f4575f9f754a4f632

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp36-cp36m-win_amd64.whl
Algorithm Hash digest
SHA256 8de3cbbbbddffb840475cb564a127fb3d9c8d4e2e6cced1e298b01794983944c
MD5 351bd5db04a7d478fa96e1a513d51ddb
BLAKE2b-256 03e8692f82c434cc6f053c28013700f25da995b9b11fae0bb90c1c6f0d4cb73d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 bf4f8c53ca28e1804752be4a2c981e3e6e3c049bc62cb1fd79a15b9ed319f619
MD5 909ddd7fc4500b4f7aa332e29c2410e1
BLAKE2b-256 9485379e50e5f85daef277b335d6e971a7a6e78b3f450c90c469880e90286e1e

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 8328cfcea8c197421611e25b9a2a700bcc3d8017aa06524d74480658979bd234
MD5 5bbd4372281b40478f7835e28992cbbe
BLAKE2b-256 0cd919c0d7d5b3f94be9b778dbe627f94774cb94c87a7895596856b17e2fdbf7

See more details on using hashes here.

File details

Details for the file python_sat-0.1.8.dev3-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.8.dev3-cp36-cp36m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 18c22692a7e65c7e1ac9003940840c12d86b3e21c5ad510ca0f52f6cdd3a0bd5
MD5 e2ab13c102e5f74f1e48163c7c046e7d
BLAKE2b-256 9d79434b892064d005e39f0707d1ae2373fde6bcf5a60049887827a7d6c5fcfe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 e2dc5f08e97263daa54ee76bc1b03ab3b75aaafca55690b4addc4b8a3053a0d0
MD5 ee998f0a1d9f67f386aeda5a0a289ad5
BLAKE2b-256 1f67a08aa30c2f079627d124f14709b35eb6c1dc4df893981b3fd16cf45395f5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp35-cp35m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 9a4afea251c8a7d03a88591f79aa6f709bab464eb6fd2aaf11e33929e6445fad
MD5 e9ad2036b42ed2ffda7b18aef6602dc8
BLAKE2b-256 17d3410cd0ae4d99d9391abdb764d785a63a513d0bb585a5f96ad582fb5a3b88

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp35-cp35m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 4e988215fbf260586d949ed36716d878ba33afa07cddeb82a8e5104cffcb516f
MD5 dc3ad98aa0bad97ab70b2537cb6b63b5
BLAKE2b-256 089cb64b6d7131416d95dfd3a583d68c0e3fb91aea91be79cdb9c296e67e59a2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp27-cp27mu-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 546e83b8368b27239ed767352108de275bd0d2dfaadd39ee5361c794ccfb6175
MD5 d20f8fd130f47a79fb2e7c67ea2f3cfa
BLAKE2b-256 2de197fa9632febaa44db99c5fe43db096390ca9e7f1bf97fba6f49abf36918c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp27-cp27mu-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 26ce6d39846a6a4366568c6b46f2948a10467693af173c4b8852b0194152292c
MD5 50c3f57335f4c0bee36b8c45dbfacdca
BLAKE2b-256 4e0d17756a9d79232aa81ba4dae738185e5a6eebd06046ee7377b679c47dbb42

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp27-cp27m-manylinux_2_5_x86_64.manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 9675ea66707dcc84c344e514ca7221cde893ead7878c54b9fb5e94fb9116e3e2
MD5 8062c6d5769bfe4ffda8a04e5cdeec96
BLAKE2b-256 83099f9f2afe67c1fb0d872041786245ef896dd8b01b41d291f06a2ec793cf8c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-0.1.8.dev3-cp27-cp27m-manylinux_2_5_i686.manylinux1_i686.whl
Algorithm Hash digest
SHA256 fcd797834a8c1882e61b04d20cc5a86ce23d56ab356eb857b7944387516b0911
MD5 063ed790d5cd6759fca2f9afa3d7fe4e
BLAKE2b-256 4fe04dea7ceb81ddc9a678437477d0d287cc62bda266f4fcfbb43405bb94b294

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