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.8.dev30.tar.gz (5.1 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.8.dev30-cp314-cp314t-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp314-cp314t-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.14tmanylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp314-cp314t-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.8.dev30-cp314-cp314t-macosx_10_13_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.14tmacOS 10.13+ x86-64

python_sat-1.8.dev30-cp314-cp314-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.14Windows x86-64

python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.14manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp314-cp314-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.14macOS 11.0+ ARM64

python_sat-1.8.dev30-cp314-cp314-macosx_10_13_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.14macOS 10.13+ x86-64

python_sat-1.8.dev30-cp313-cp313-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.13Windows x86-64

python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp313-cp313-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

python_sat-1.8.dev30-cp313-cp313-macosx_10_13_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

python_sat-1.8.dev30-cp312-cp312-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.12Windows x86-64

python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp312-cp312-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

python_sat-1.8.dev30-cp312-cp312-macosx_10_13_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.12macOS 10.13+ x86-64

python_sat-1.8.dev30-cp311-cp311-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.11Windows x86-64

python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp311-cp311-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

python_sat-1.8.dev30-cp311-cp311-macosx_10_9_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.11macOS 10.9+ x86-64

python_sat-1.8.dev30-cp310-cp310-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.10Windows x86-64

python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_aarch64.whl (3.7 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp310-cp310-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

python_sat-1.8.dev30-cp310-cp310-macosx_10_9_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

python_sat-1.8.dev30-cp39-cp39-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.9Windows x86-64

python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_aarch64.whl (3.7 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp39-cp39-macosx_11_0_arm64.whl (1.6 MB view details)

Uploaded CPython 3.9macOS 11.0+ ARM64

python_sat-1.8.dev30-cp39-cp39-macosx_10_9_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.9macOS 10.9+ x86-64

python_sat-1.8.dev30-cp38-cp38-win_amd64.whl (1.4 MB view details)

Uploaded CPython 3.8Windows x86-64

python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_x86_64.whl (3.9 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ x86-64

python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_aarch64.whl (3.8 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.9 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.8 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

python_sat-1.8.dev30-cp38-cp38-macosx_11_0_arm64.whl (387.2 kB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

python_sat-1.8.dev30-cp38-cp38-macosx_10_9_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

File details

Details for the file python_sat-1.8.dev30.tar.gz.

File metadata

  • Download URL: python_sat-1.8.dev30.tar.gz
  • Upload date:
  • Size: 5.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for python_sat-1.8.dev30.tar.gz
Algorithm Hash digest
SHA256 29a47a34f0fac3303459c633abfa6d44505e2343dfba6cff4b6ad596c0ca9d4e
MD5 a494c5c506d8e1ef978b9704dfeacdaa
BLAKE2b-256 7844f0e3c63c2b1f9a6f9830a5a6853bb9f07b99edde47b6df5beeeed1ab9425

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ac13c80b149c6f45272d057d8b5f1ba0453279a690c0fb38034c6948b5bea803
MD5 658c7c38d93d8606f10cab520d57d6a2
BLAKE2b-256 ea02ae3dc10db1b81994073c2e83390f2a22aa1cb298848848d9c79f8a533e5f

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 a39bfb2a966f2e1052bc4d95b6568fd5c2ba741ec5e9cf0a5effcd9fadee2977
MD5 871ff7a9b9445907d9accf93f7a044d2
BLAKE2b-256 9c66e3f061bdfa3f8b6ba86dfb3c9690755c90dad553c3e53e1aebf84c30d84d

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 7a01e631d4039599544ab6877cfa629fe4b3478d9b740351ac5b91ed1ae8d7ea
MD5 1953bc04bcf23d4c149412e78a0fb98b
BLAKE2b-256 3c8122a77c469bb13e7f83546c11886547894e4dc22a9f2076aa2485a4ed1d3d

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 11b0718cd76d8bf5498f510ba74de0304cf699148d2a7aedce5db779a1042d00
MD5 db6cda32554eb09914bc4996854a3702
BLAKE2b-256 684bb718d70e13f680ebf3660a8338fc956a24ef76b331468c478e1770e7dfb5

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 43d10d15f9a686b7839ddc66be063baba36d549b794a4805de6a7597b8c3a871
MD5 8987473da607ab1ae4214b6374ad07ac
BLAKE2b-256 5be00da6b0601870ece826969d145c8a2ebe4703de86c680f0c1de61a9763a52

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314t-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314t-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 022168d24e451f1bd8101d863e816ad810dcc0d2b5d753515ee16f882327fd74
MD5 1798dae8c707186f445df313966b83e5
BLAKE2b-256 182270e9635343a6884eab45b25c766873cadd389407d075291bf952af96dd76

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 f2f0ea44ee872b007a675a2467e37eabf3da9b9c8f8f4745ae29e0c32d9956ea
MD5 989a4f8506fe4962057eced251fdafb3
BLAKE2b-256 fee3e432c9041f6ee10cab5199d036e17680720c08297c1068078f32f9baf578

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 84f9ea644740f6d8e75ee688ce324b4c605edcd253af0da8d43a66ea0bd3f972
MD5 f4386ba7daa8a93656da903afe0edb2f
BLAKE2b-256 edf4aba8489677d5cb846523a85729d174ac92271b6811e75f99c5b1d79ebffa

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 97192a14bc60784b015f6a938903a95c24c3474325de8017fd9e16407d5cd52b
MD5 dcc88a3e7c1a1440bdd0a7a60c7b3efa
BLAKE2b-256 9a6f8000b38bdaf7f8ae2baf46d85c0943b77cb55d153c068a953717baa9e701

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ee125de6d61e852268bbb4b3ec04a7e5296c32d7f300ed104381df5774aaf3df
MD5 454116dcc4c1db4cfc091845d1b46146
BLAKE2b-256 4d47f98ad26e2a6f4502e0e52c97cf68fca61c26ce1ecdc9f57c4195f993ed38

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 f1f0b7af6af18e1d9316a0ad7a4aec4b6503b2c56e7cf8c70b9882496d3dbabc
MD5 66b1a1e1eb9edf23c07eba35e9779bc7
BLAKE2b-256 f3bf0771f397a2a9949e89f7e45fd428707731fddde6d000d453058be2c02e60

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 7861bec740b7817360d1c05b54ae3cef57e03a4e0ecbc97c21b6e71eef2d4b4d
MD5 cd2f59cf6230012df557925a37d583c3
BLAKE2b-256 3be153d18e716e652393206b8ac20ba8b562cbadf00d6304e8513becb88a8363

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp314-cp314-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp314-cp314-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 ff4b4a7ffa1d31d83a44b57f06e4cdd979259f67ec1a948ab8085472405bc078
MD5 a1f9013f2365fd64343e99d2369bae39
BLAKE2b-256 be6590e92bddee3e82d4cc133c6b606836e92762960502b111371bc368fb0a9b

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 91e01a2911095df14e3b1f4ec28ffb7c676fc472b556b1a943ca23dc6e783b13
MD5 41bf2a1ab5ccfb4124b7c53069dd5b55
BLAKE2b-256 bee69477a6881f3cf27d43d2115b3d287c891e9e9233b0ea4ab18015f1f34b97

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4bcc39402125f1a69bce95483e761d7a4d355744a2fc1d192574f0d13ecac547
MD5 1817e53b6c420500c7bf1d3943a4b580
BLAKE2b-256 cdd5240dc6bbf2e802599b4a13aa08ca377363baffddf9fc8cf582635c770ba8

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 caaafd7f7c361b676a01e01cfb82b7fb0fcbf84744d4dd4f521d0d8d345d9c70
MD5 7008557a5e5ff1e3cdff7610f591d8e2
BLAKE2b-256 4482ad45d608289eb1e96ed7fe6818e7a0611756aa36cd2e92c7186b0b244936

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 6df046a7f9a4f662850c9c17a230b9edd74b3ad2a6ccc5b4a685650bba77721e
MD5 492d4cac47de5f6c6411370732c94786
BLAKE2b-256 04cb7148d85ac1973c5f85219c85426e73b307017da188626f0d73916830c0a7

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9272c75c4cc664d1744793b3eff04c9c6776c39960917a9c1b053d770b3217c7
MD5 24d7a6c218fb00b6fd6dc8276329d89b
BLAKE2b-256 7ddaa155f0ce59f32eaf66ecf6d2c696347c90f63a47aed3647aa254d38d93b6

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 f5fe8ae2381504e355b519e34040d554bffbe734d03c69b814413ea9f699a3df
MD5 55e5fbcf66dd21e6376156d5526e495f
BLAKE2b-256 91815523b3027737b9e32bd5161c320d14321ebb520b0d6c7bb5e71de090189a

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp313-cp313-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 be9f45b429b6d070cb91d009a6daa1aab9d6599ee37bbcab9b9302f077ad5afd
MD5 a28dd075fb4befac12160c8448d631c7
BLAKE2b-256 de616326ef8dd3e2a7f71a20b7cac411367b241037537a24d496bf72963c74f1

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 47f3b0c68a0b4ac15328b7087bca7e0f25715448511cf6a93f74c6f5c8b5e37f
MD5 7fda12958d18a49614089261e517ee49
BLAKE2b-256 9c7a683865ef643bad6f9d401f6ff3b4d99a914ccae8aa976fb60842e0cb8fb4

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 52606259a92de64051cdbed0cf6229b81b03a33b7911f8f34da215d4a4d2d6fe
MD5 b92dbaa484e56bb3280a11daa1afcded
BLAKE2b-256 1cdf405242976519cd135be55c67dfcf2985dafdff253e513e8f91a01377270c

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 18df9ca91ad447e58def6f59599f9a8066795c28b41eb9b36b3034860dd516e0
MD5 f95aac948708a4d520065811d7b72f0c
BLAKE2b-256 3c7b760b36d75663e47a6f9f3c313e5b99803e7d55abb787ff3c49f13f78e069

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 8bb8997cf4a68a70abbf3384c266b8959fbbc57c1ebc3de26ef0205c98b40c6e
MD5 d9e6e3d6ac9b5d9bf9f35e7c3e976ad5
BLAKE2b-256 79e302fde8d3fa0e4deaedb675de71e64d8f3ebf54db53dd6bfa50dd426bad92

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 708c73d9987f83527d8fd13bd66a967fc5f346f9b035023d775a9b82d06bf511
MD5 e02046f606a326ed282973b6c66111bd
BLAKE2b-256 b160d5b6680ccf462deefafe77f104c88be902cea7b69b83cfe58e4377c8c39a

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 09b382b1ed330472c4a45931555e783d1fdbc410da1321bef2dc44f6c67eab25
MD5 e4dfc6cd60248cec8fb486fadbd4e157
BLAKE2b-256 8ea593185a37890fff909a91e6a0eacaa7346cd20147b868706250b087281518

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp312-cp312-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 047decbfab9e8b6d43e943ac6b254f77f5b0849a1c03f17d46ba95a405b4eee6
MD5 735dc6d874c6d6a4dc1c8adf072e3df9
BLAKE2b-256 7629b2df562587af76e16c469400d98cb937816dcc52ab502f984e894e9a890f

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 7d5e6843431dd6a9780fa4e118e7937ece1567cdc020cc131ca27c42f6ddf9b1
MD5 5b28a4c5d0b78eff913d2eccc3ab55ae
BLAKE2b-256 60ede8cb4927236760a589600f9869540b10ebee5913b32827019fb3c60b65b9

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 928d0608a3d542ccb88d612d4b36827bafd6950d9b84af6588e766593210017a
MD5 24a9ae8a44d7678b707be9e2ddc83491
BLAKE2b-256 fd8219f044706280ab8a56793af1f095c077780a35f15ba41a4c6c05c639d130

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 732114cff9083cdf35091260953120c7ef946f22d758ef826ca8a2ff1d551bf7
MD5 d0cf97932d92f8cf4285c13927b5b60e
BLAKE2b-256 6e8b8a108bd449d2e5059df4120c5acead2152bd4b0529d9cdc00a08b7539be7

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 656a7f596cb004000c4f2b6ec31167e1c9efa7d39f013251715e8790fcc53ba7
MD5 7f434caa18f0f9d27f20b4d9c8daa70a
BLAKE2b-256 e5a6e863c2eea8661f00da6decd5a558cc05afccfc7c877b6ab83620da18b5d0

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bd3572a3cfa313270f2de353e9908a405bd525fb51a05d7560b0e1bb218f864a
MD5 a62f83329e7bae3cb68bd2b986a0e92c
BLAKE2b-256 26174069011dcfc751da015586122a00b81708d86c10ca2ee65a165dc3929e79

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 2e8176979deef383ece2c4e0e209cda28b264025bf194872bcd93b065b88f7e7
MD5 416255b76fd23b31638031b07b771192
BLAKE2b-256 0bca91a7663df5f82a973ae7201c89bdeb87337498576ba1e00a6ecd6c5b33bb

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp311-cp311-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 25f2b9dc81a50cb19e966ad178a50ae4292fe940e0e6373241f5810e4fe76084
MD5 1bd2d2ad1677d62472f8312ad333465e
BLAKE2b-256 3023e38a2e0984415977c7131dae45fd3c3c5fea79ddc0451ced5cdbb9580e6a

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 a52f9ccd87b33813b4e7de386e80b9d44e0188cf8491600febf6a49c10ccc534
MD5 32f4ccd4cd21f63cb6b0fc36b5051120
BLAKE2b-256 cd2254f0704e1651821d9bcf0c09e94d603b1059bb7f8173dd111ba4c3e241cd

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2386d375c6b59fd3a24b5458a20f2389999bbfdb50956038ebbe62b1546be45f
MD5 7cb2ccaba9970269091dc92e259391f0
BLAKE2b-256 f318d503200fb6c8ac59fda577084067788063e019d96e61841e123cd6e603c4

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 9d33f811d23ec6fbf0eb171cdfaa79bdf2ee539b6cab52bde83250cf26264e04
MD5 2ee15ec362b8ff8f26211b3b8a34d42a
BLAKE2b-256 2270d169a1374058d1ea59c70e4d0f8bed26f85f7c4b9c06e4cb57d6f8cd56b3

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 223323a7f1812dc558b9d32b3a185251f2b6e6c0c63e5eea6891dea4de305c56
MD5 71549a5e83aa0e44f24a9144bef17817
BLAKE2b-256 f00c9acd88c120f8894aec3c8da779779af8ea39fbc0fc3896dfcc45429b6fa5

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5b247b38bb2f79149b85a91c1f87147ce9e0ba2021f6bb8ef28fdddb89b05477
MD5 31024bcd35da4c9822e072375d546d2e
BLAKE2b-256 2a00a9144436dd22fcd01a6441d8022918905bab6770642d4172b730713b4212

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e74edba1488c737c297a180b8b722b4595af89423add894c9b721fd38b5a47d5
MD5 a16277d2615ac1382041e2bcf4a4a5e8
BLAKE2b-256 2cec725a1005aae6350edaa799f34e6aef14c650bdfade207e850624a785c22e

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 d0afc9b93002c72c50468fe38d2ed31ed2d38205fb6f849bd77cf0ac8f1c16b5
MD5 55fc8398b824007063f6d01e6a19a9bb
BLAKE2b-256 ace531e8819999737f47ff305b4bc852380fc3a4c4dfe408061ff05b203fd050

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 6bc0185e98e4b1868e57efc2f4cc8262863bbf1fdfdf56accd13b0ac294be2e8
MD5 ff55e8b0326642644e1601b8a8df250b
BLAKE2b-256 d7c4951762a26afc272dd2383491437b5ec3a4f2fd7e8b4efa7987f143cfc026

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7b9a16c65850127916b03d9ff4b6eb1307d992642048d2b16b3354c9a0b998ad
MD5 b7cd9feeec91d44a7a4b441bd14677c7
BLAKE2b-256 1711db9f3340723bc96a496b10cf3bbca7911a86b2a3a8a2c6d419df7742b13e

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 26f361ea6d4443e0ef680e767191a32b07ded27fe584bb4639928c136c65b342
MD5 d98d26940d8f2fd5c9939000ed041171
BLAKE2b-256 8a59dc950bd2dd4f078cea6024746641f54c0d3b5c831ab177ff61745dcbc2e2

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 474f7448a5ab05b3208abd661501e6d726e69c5c05076dbae235ef6f58089197
MD5 caf0d86124f167caad90761245a99d0b
BLAKE2b-256 82544e6fff47928ba80250bfd8ccf0b3622764399bc9c0dcdf2de7c72bfc881d

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4f168c6a751381ca33d1ffe8825b39490e77c3451c5b43c4af2ba7dddb3ba3bd
MD5 86eb917f461dcfea9d0757a12d6264f4
BLAKE2b-256 10cac67ef0211266004d9bee859064dbd704088f5a970efce6fc13433dd7499a

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 0ce86ee1cb390f05c204dd33c8fab11e0497ce29552b43e6eceb6f11a866f9b8
MD5 f782e0ed7279bbf8599be4db09ac50b9
BLAKE2b-256 d2d1b38f03d189f9e60fad97a0b1a2fce5c37591076dcea254290b9c49487488

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 4c4cd2589d980f834c79e604fbf3b86436293803927895be6200ada891040890
MD5 16e6b5b914e7a9e15b87250930f4c214
BLAKE2b-256 381ffbc504086bd5f2973e07f6700955537bab9d4cf8e983e42b6073939c127d

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-win_amd64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 686423fed7d7c721ddd5ce05f73bfeb732e700fa7b2b71a89ad60955025d3b73
MD5 307ece1c7a4239275f0e7b5c0ecd37d7
BLAKE2b-256 985478782ca20ba450ed74dcc7912bbce1d5a5ff2eb857d526f96ed31a6388ae

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 5acd9729d0307552b20098803e2dbe3cc021c7b280e5b349e6f188affc7d8d37
MD5 37447176aa500ad0c84a90fbddd305bb
BLAKE2b-256 d4c7f62dd424389cb463069c381244cf92127c54021eee3d3c8d43743324926d

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 dee889bf6ada47bbd54cbeb7bd24242a02fa35ea8192a3457ea59314c0857d94
MD5 135b76fd44a407e134eb85c4713330c5
BLAKE2b-256 a1155d9b4dd9e705e5a921583a2f69123185d84e9511ea553a9c81129e2c5614

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 07ad049dc18e8b348c27181a465c84a7a38ff933db27f52ee3aab599e0952de0
MD5 2706cb9b3cc6f9b7168ab2ad3cb748b0
BLAKE2b-256 f9951da3c30a8c2ff16945c8e0ed7b801efed90fd797c4e6618f6189cfa51c83

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 60e1b10989b8462dd7a5df6a277decba23fc5f1bffe20edf0e6f706eaee812a0
MD5 93c825b3b4234e72052ee509f76b9744
BLAKE2b-256 5660dc7577173ee298594d6139a063adf6d318df0ed9e2b31bf1ec3e14377539

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 607d8cbb62ee26e247c004bf2e79e1ccd9e962a7c39275cb42c01c3fb669fedd
MD5 f28b0dd974aedd31b2f41db06ed5e838
BLAKE2b-256 5798ede321a690163e0f4a22097148678301d81c89f5680e8bde34fbedd322b1

See more details on using hashes here.

File details

Details for the file python_sat-1.8.dev30-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.8.dev30-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 36e45585e0d76bcd13e7c5dc0ed739c42381acb9613f31e1ec3bc5be73ba2e92
MD5 c241455d1d6c0ec8d6f682f1274577a3
BLAKE2b-256 40c4bfa3c13b1bdd68b672088e29295e09302f08e060d84d486dc3a8ccba5f1b

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