Skip to main content

A Python library for prototyping with SAT oracles

Project description

A Python library providing a simple interface to a number of state-of-art Boolean satisfiability (SAT) solvers and a few types of cardinality and pseudo-Boolean encodings. The purpose of PySAT is to enable researchers working on SAT and its applications and generalizations to easily prototype with SAT oracles in Python while exploiting incrementally the power of the original low-level implementations of modern SAT solvers.

With PySAT it should be easy for you to implement a MaxSAT solver, an MUS/MCS extractor/enumerator, or any tool solving an application problem with the (potentially multiple) use of a SAT oracle.

Details can be found at https://pysathq.github.io.

Project details


Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

python_sat-1.9.dev2.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.9.dev2-cp314-cp314t-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp314-cp314t-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp314-cp314t-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.14tmacOS 11.0+ ARM64

python_sat-1.9.dev2-cp314-cp314t-macosx_10_13_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.14tmacOS 10.13+ x86-64

python_sat-1.9.dev2-cp314-cp314-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.14Windows x86-64

python_sat-1.9.dev2-cp314-cp314-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp314-cp314-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.14musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp314-cp314-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.14macOS 11.0+ ARM64

python_sat-1.9.dev2-cp314-cp314-macosx_10_13_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.14macOS 10.13+ x86-64

python_sat-1.9.dev2-cp313-cp313-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.13Windows x86-64

python_sat-1.9.dev2-cp313-cp313-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp313-cp313-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.13musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp313-cp313-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.13macOS 11.0+ ARM64

python_sat-1.9.dev2-cp313-cp313-macosx_10_13_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.13macOS 10.13+ x86-64

python_sat-1.9.dev2-cp312-cp312-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.12Windows x86-64

python_sat-1.9.dev2-cp312-cp312-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp312-cp312-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.12musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp312-cp312-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.12macOS 11.0+ ARM64

python_sat-1.9.dev2-cp312-cp312-macosx_10_13_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.12macOS 10.13+ x86-64

python_sat-1.9.dev2-cp311-cp311-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.11Windows x86-64

python_sat-1.9.dev2-cp311-cp311-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp311-cp311-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp311-cp311-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.11macOS 11.0+ ARM64

python_sat-1.9.dev2-cp311-cp311-macosx_10_9_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.11macOS 10.9+ x86-64

python_sat-1.9.dev2-cp310-cp310-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.10Windows x86-64

python_sat-1.9.dev2-cp310-cp310-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp310-cp310-musllinux_1_2_aarch64.whl (3.9 MB view details)

Uploaded CPython 3.10musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp310-cp310-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.10macOS 11.0+ ARM64

python_sat-1.9.dev2-cp310-cp310-macosx_10_9_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

python_sat-1.9.dev2-cp39-cp39-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.9Windows x86-64

python_sat-1.9.dev2-cp39-cp39-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp39-cp39-musllinux_1_2_aarch64.whl (3.9 MB view details)

Uploaded CPython 3.9musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp39-cp39-macosx_11_0_arm64.whl (1.8 MB view details)

Uploaded CPython 3.9macOS 11.0+ ARM64

python_sat-1.9.dev2-cp39-cp39-macosx_10_9_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.9macOS 10.9+ x86-64

python_sat-1.9.dev2-cp38-cp38-win_amd64.whl (1.5 MB view details)

Uploaded CPython 3.8Windows x86-64

python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_x86_64.whl (4.1 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ x86-64

python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_aarch64.whl (4.0 MB view details)

Uploaded CPython 3.8musllinux: musl 1.2+ ARM64

python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (3.1 MB view details)

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

python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (3.0 MB view details)

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

python_sat-1.9.dev2-cp38-cp38-macosx_11_0_arm64.whl (389.6 kB view details)

Uploaded CPython 3.8macOS 11.0+ ARM64

python_sat-1.9.dev2-cp38-cp38-macosx_10_9_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

File details

Details for the file python_sat-1.9.dev2.tar.gz.

File metadata

  • Download URL: python_sat-1.9.dev2.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.9.dev2.tar.gz
Algorithm Hash digest
SHA256 267b47742e3184356df2ecd9ccc9fb6e62243058ebc2565606cf33d04e1679e5
MD5 d94a0cd800fae6c33ce48ded17b44884
BLAKE2b-256 7b92a79cadc40aec4a26956d64387c737c00944edcb392ddafb2d7a5beae5bf2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c3d8f6522dcb3cc991419b5a29c3e08bdbea4ed4889b8646dd24897b8e0c2cff
MD5 e3d1c1caf7e2d0ba1cadfe64f56f1d3b
BLAKE2b-256 30124f31dbc771a3cb5708c2bd21a714bbe3c48444be1337f5fd696b01df0a50

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4ea33a1eff6aa35c370853897da735efb7eee0d1cfb323d2927dc9a28af38f0d
MD5 272f0b8864f5d42632d41fa4270b03cc
BLAKE2b-256 6bc4a8414483edd476c5e6bffc6a49b6c33597e6b06404d5927a5f0c6e2922c4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 090e06810b6b4ba8d02ed74f5ab4b822ed1f83dc5b6b7bfa0255ed8472c0423c
MD5 8f5c4032b0ec9cf85c3b795bb43e1edf
BLAKE2b-256 3afc43f71d6042033a1571017a4e4ed564ca7eed4dab73a850fc183964f2832a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5a133541b80f0b7287c732703476f453ad1e2fb8023a78f729c921b6cc95a380
MD5 3ae02de9d6291ca2ecda7def227c9040
BLAKE2b-256 621e4f41434fdf703379f73c14fabc9a76c6186cef09408e347977049e6b1605

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 807d307d2aa1f6a0517d75f765538932cfcf4c2878a1f5879cf57d655a9bba70
MD5 9978ea5758acb051c282cb5ec247d6cf
BLAKE2b-256 5d104a9f40fb24073ca67619bf78c553409c8853e1bc2ea25b5ae88601dbc017

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp314-cp314t-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314t-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 cb07ec016f7422b53356f9987c7aae59696b8090f1bc1f892c595f2c137f79ef
MD5 d47b07d928860679969923b57264e9b0
BLAKE2b-256 a909a945ed0d30ba804e0ee29ea3aa11dbcf3d6260d47d07aa7f42adf3ba33a4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-win_amd64.whl
Algorithm Hash digest
SHA256 8329213f478203d91caf32473fc133e3332735b44c077c7b3e7e8424fd3e59ee
MD5 3110324c19705166c1baeb782b3bb350
BLAKE2b-256 fc39403ef265459f811db0a91d126c4111e4bc62dc74523475e4342af838e38e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e935df979ee9bfc675e4cbe1c59211789cd649fe908d36671b6425e144ccd160
MD5 3dd57b4423e9af721cdfc625767eb787
BLAKE2b-256 7ea305b44aa04b17b5f3c3d6e955077f796c2d2b58a2e9ac4d57b5a60a342749

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b5b44fca0bfbd3373fed9084d622b8f9a8850c7ea64a5cdedc44ebecb1915a6f
MD5 02f6b4a67d5b58df053216bef6d53efb
BLAKE2b-256 bfbd69b471701af758fe0b2b7d7685e059f3e3f2ad51108ebbebf0ae14a41cbc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 97366edb75490f47a5e6e163965ca146a27961a5736b1a3e22c12d27aaa473e3
MD5 b50cd84f37991b757a67714b26a67405
BLAKE2b-256 614927b09d7e3fab12a4d2c1526178fa7902aff649d4d988809ea5b8052b0008

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 50c89f3827fd0194a50995825dae4961bae7a628da4e6cab864b6135f4a2c68f
MD5 17a0cdf124716db28ca7ae8c979ba441
BLAKE2b-256 c33baefd6b3960b9018eb769e5cdc3ac3097351337373c0c731fed236638aeff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ed21038cfb224d0806a221611c9a3013f87b278a66189b2faaa1ef712ccfb0c2
MD5 3a482f78ce64ea49eab927d022aaa440
BLAKE2b-256 9d72fd67130271dfad317db3ba72ff0d9a098f76903dfd59a13a309fa36a5730

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp314-cp314-macosx_10_13_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp314-cp314-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 2b9627dfa227c40e7bebf883a376c2c7b2baeeb04c5df26e095520fd76f7633b
MD5 7cecbb3ef99d5419aba92aee06a17486
BLAKE2b-256 b5a082a30a6ef860cc17cd002c4e3408a988cee25bcdeab9fe292185a8a92c09

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-win_amd64.whl
Algorithm Hash digest
SHA256 0a4e4b9f7876662fe342bae884a43e9b4705de837f340ae8876c7ec028f8951c
MD5 98a15cef49fb1c2f612b33dbb6c8c890
BLAKE2b-256 ea2dc5042ebe7f0efc425a1b093bdae754fa5f9ac758be763b5d4648e3ec94d4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c826e93cad5d8705d7163a806afd978cc6004ecd695889c2b22e394333685144
MD5 7d2fa31a84caaa173cca63370bd8f350
BLAKE2b-256 8a1165aecf34725f5df3620515dc0615ead21415444c6dc9324f7e8f743eaf8e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 78886448101f52ecab101a0adf50d72498002da64eda195dcc3136b01c08aea7
MD5 9738f89c36a9b6ce9c89af4e1b08073c
BLAKE2b-256 9cd8636b85960266e15f488b74611be6fad3e696efbb6f8ba8a426f15deea908

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5b3354c2eee233ff3e6f0cf48e98a79ceb17005ef9c46daf5e6d93d6684138a8
MD5 dcb2c5cad9fa1d1ecf8852b5775b2129
BLAKE2b-256 e38bc2666211e2ff191becd72b9aa1ed98bcc0591f5768dab585e6cc38a84c31

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 b97c4c855ff813e3b3ecaead07240c5c9ae2762aa65e454144970b9cae1cbeb4
MD5 955e2017a15ecba0b9ca34ff3df0bd5d
BLAKE2b-256 06cfce19aca6327904b67cb5b1cd6a56fbcfdf3321aa43c2bda70f17cba6024a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 79c7ae46bdd73ff705a7ecd7761b1605902925dfa8f86ccf31a289fac278a872
MD5 54d15100e04b6b9eb95f8682833f48d5
BLAKE2b-256 a853a5ff078aa174e3feffc79b23c3ee2bfb09c9b4f3e4abe20f0b164f8030b8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp313-cp313-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 7b3d4f8294a3ffd4eac02e56553655f218bc00c71c9ec020223d9c58a9188749
MD5 a67390992f2428fd2e4a7660d1183934
BLAKE2b-256 ef58bd10547b7565bb102f27530c99870ba15936901c5b17e364b7fea3a04b04

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-win_amd64.whl
Algorithm Hash digest
SHA256 f2b2486aeb93189b906242c9bbf2343d14e253e1f2f016aafb2a76ee15678a4b
MD5 77a4df51575b738c4fb65ca40b3f186e
BLAKE2b-256 3f7fcb768d3fa99e7b310c5d19836f6e7921ff87923b96ad0cff8df1187a3bfd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 f59e3aef0ee128bba74dbee0545e6c60db78a4e181b01de2a6ae586f73180b59
MD5 96509b08b67bc35cab7cfda025c8024f
BLAKE2b-256 f29387cbd31d68a45575154513b99ddfa8891292338b27f50219ce833331702f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0917596a0dfb6f3e0caf91e810df0d8f4048b6f1a42816c54301dc850e3d983a
MD5 748e7fac7996b4bf16305c65ec432876
BLAKE2b-256 1609fb375ddc3b34eb126598d1342f4e2f1ca95796e6bc57fb13edd7964f3a6c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ead9644a94fda25824a2cc2496a942ba443033766c77eeb7c96b9f9bd8753477
MD5 efa0e15aab799cc186960d8a4f449915
BLAKE2b-256 3201a40eec29267e0cebf88dd6d2c87f63efb66542c9b3f60ec16b6ce662e403

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 268f96f9344abe4936ee0e36e8021092088cdec04ffa43958158c4165476991b
MD5 c92d32e079a9fcbd5f0356ab9e1c94be
BLAKE2b-256 8db5b0d670d2bb315cfcd48e002fca305334b37d3e8960ac626d319f7d8164e9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 df8ce5ce19d9aa58347daec0cafd3a1f8c0348fe001b3cdce4c56661d44a67f3
MD5 bafcc360c9672170d029293aaa28bdf8
BLAKE2b-256 31c4f39dd2f702f804470f9c9ba3ead3db5271c1d7ba86f7431f0cdca430fb17

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp312-cp312-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 629136c784c072fca26d5d093b847d9ac2bd242657d311e2099c23510adcc959
MD5 bea0840c8d7de8bb31cc42ed06eca15d
BLAKE2b-256 c1e79737d61d08fa409a5b7f90c6204ff46b37a3dd1eda865de6fd0abc1a67d0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-win_amd64.whl
Algorithm Hash digest
SHA256 c4d1de5a3062ae89671184c5858772cefdedbfa382eee3f9e14b908e4150484e
MD5 ccf387380061992d2f37b23ce0e643e8
BLAKE2b-256 703e68ec5a972dba2d840dfa90f4ee4cffba7367a76df039c648998935e66d04

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1b611cc9a7cd0dd46601d3849679a7cd9da2feb720ad4b65b0d2047a9255119c
MD5 374d28f9944e803286559f230d3df250
BLAKE2b-256 0cdf54e30587675124170f2827eb6a8054ed44af242f51be1ea141fca9fa731c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 89e9c723eff0ecf82df00541f11d76df4bdda00a448431d1066ef1e75b49b80e
MD5 684c8d9cd277ab47f5135325c3182000
BLAKE2b-256 d599f928c248e67811c071105da6465e152d54701e957720ca5ec33636ba9f52

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 56d0885973c4313597f07d85e9f73dc4fc06ed439f5c14bb71ff7326eb562205
MD5 a3d225b5145dfebc8f9614f5e0a7fc7f
BLAKE2b-256 464399abfeff02c3fc02dff54bfbe6c6dc5f1d2d5c73746e93c124971cfae0dc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a8c4571659884576aca483087f02e33ca5571b966ba0a3d7b884636c7ad9eae3
MD5 540c1ac3ef0348c09482bed563a09c03
BLAKE2b-256 7ccc0c21f3f08e8984bdc08b9b0f8b8c5f7d7f8d072cb93328ca7871c35c958a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 753308c1a322ab5037eba8b30b7dfa944d87c13829c9cc0d49cf5a2dd4e211cb
MD5 dff4570a2010033bdd5fc9e15781f823
BLAKE2b-256 d0b8ce54a8603978bbc8206120d578b3c338e0fe50accb63b3907757f3b7ecae

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 9ad9780fa873a35cd34408b2cbeb7543d90959f47bc45dbb58224d57b4ef830d
MD5 74a050212ddcd34b1e720aa7d6e660b0
BLAKE2b-256 53034711c84599fadc56d4e2a58a5f4baea3222da6ec4986747b3b8b8b3cc342

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 faaeec3686868ca9bd926f9a818d7d6e19532dfe388f790f854287ab47039d93
MD5 eeed2d389c318c92c9601de950f51a65
BLAKE2b-256 fe19cdb6cdcd686001b18a815a73efc88bdf5d608b7e92bcbc97e2737b6cf0e2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c60a5cab03c18cfdc2a019ec5f808edacc23618deada9846885f56a5e6832067
MD5 e2038839e8ab79c8c39d62a587f2f31d
BLAKE2b-256 90a909c2bd4bf02e14e594ee9cdc1e0fae62b7e31a84cd981743d9dd4e8eaa4f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 fcde084e157f002da2d5e5f5a1c67d9bc308f2c22465780e7f4931299bcd9026
MD5 c172b0646c30415522aa371bfe4d7ce7
BLAKE2b-256 7e69c1a246c5c2b1b1eef83de36d4b4a3e42acb11dbbee71002a345e018d4ba8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 297d248a15546b8ac0419bfb39d9b48350a93a07c8c7f8b8e0a13c12a54944d2
MD5 d0eabbdd6f01650bd213b34ec4245651
BLAKE2b-256 9a8c01c683dec391864a1200d860f9161ac87bd25abeff162158f0c360844dff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3ac1df0d1ba9dcfa9ae1b6f9ed26456c8fd363996e85372789c269c62f816d97
MD5 c76259377c20005e7f20c81bbaf81f12
BLAKE2b-256 a99be22ec4dc8da24e222c401733dbe4c7dc73b2ebf779efc79219e1896baebc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 dec00c34b13a25d44eda974e384428de7ca1f04c48f8b50f84358404cd6c0c00
MD5 4d5d8a811386f212b72cde3376fe772b
BLAKE2b-256 80fc79f778af5ad169a538cd8625a083ff803db3ec6e9929d0d369d6c4d20139

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 2ca749faa720ddfd9d242521d456e33d9a7cb7575ff84414ac3993bb48e5b349
MD5 ad48c2024bd4b03390610bf61d0fafac
BLAKE2b-256 0a98cb88f1db5c8beaf9e5558c20961f6fbf03146541719a77ca15156eb2de7d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 ea7ecf57b9b909f347b8aed7257bd060e7f046b28dba6330029189e41e653254
MD5 92aab982fca4981835b0fc23a2836482
BLAKE2b-256 29a23fee26eaeac37142215bf3f138d314c8eec2eaa2aca6bc713904c4319364

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 9e6e2792e88729a57fe1a1c062f572cc5381a82ff875a83e873c3f7bad92a4f3
MD5 b51380cb91d20277d88ea7a34c81897c
BLAKE2b-256 990280dddad902725c21034bc3f4d778fdb021b0cfc2f0eff8247cac031a373f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 95a2a36659459f44506ee59425b2737df4edd8887b57a2967306164f46764bde
MD5 519439a5ac7860bafee1bb5e8e3f3022
BLAKE2b-256 fe28a4f4aea2dce53cbdf008b57d9e82e7e077430a87f85da62e6f74b57ea394

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4c996df8883a231ca98a5434aa6219b9a2b2ebf915b5e55cbf034b3f9b3dd1e4
MD5 a7d4f9a92346b5adb071ec43ba79b128
BLAKE2b-256 853c548a0f4b599e11de1acf6f7ee36b2b7d21a07fba0a22d007339056c0fd16

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7c782b07179eba9534907b7c56c3fa71a7278e0f3dd197318d740e9ea4089e13
MD5 e67f203fed4c8a19e5629b506c768a28
BLAKE2b-256 92e29afa05798c1d18a91513da04a0a027c3b54a1e125f40819fd8de53f028c7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 9e96767e3b5b2a8da31f8ab5de705fb40f6e959cbb33db7663a83f9a0fb70474
MD5 4e74f180c4eef51dc3c87fbb2376516c
BLAKE2b-256 68193e5c9899adae00ef646201e89f145ce569bcfc71363e39f93c84dffdb087

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 002db1bab5be0813d988bb8fb036990a28d1e21d6b060f4704d0940e5b03acd3
MD5 5081162ed41cd9956f06b441adb01d15
BLAKE2b-256 a2455775aebe6b7f4a5125f8301be9a039af29dd968ac42cf3258351df40e030

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 70a761e381a2b7324ac8ed87fb6df8f551387a84dc83805ab533e97a608abad2
MD5 b411bc361e0ff0da10e63b89cf00e779
BLAKE2b-256 b1d7c45fd1996734e9abf611952ebed74d64fa24d31b8e6701e23da0b92d6570

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 d82902cda4314c6a948a672de5f26e258ac910ce478a6281de896cd1716abf4c
MD5 2b4d726111eddd92407d0c7cc5f297d4
BLAKE2b-256 5f76d405a4ebb3d1c0436869e44957d449cab4d94710ed972ea36e49599e3756

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8f4e6d279786c2bfdcf5aa62207c7783d77eced0b5d1efef3a915f9eefe76b87
MD5 ceeb49871aabfdb8bb310625b6d73d1d
BLAKE2b-256 5489f7be099ca8f9bbe25c19ce88432f1e2549e66f6b61a7a6d3da1ebe0c849c

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 3238127f77a7ad2eeb6fb0a7ca4f96b548d9061c82e9d260cab38354e49f3076
MD5 e15dded781aa824c2df58ac5efae9b6b
BLAKE2b-256 be25bb478724deb7e70e3bd1f44c413de71b390cdd98171f957d94c083922300

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 327f6d1f3f815491fa0e5134dd9176aa2572f88961cb8057dedff657fa2fd790
MD5 53cd2b85fd5ba11a784df7b5064e0f5d
BLAKE2b-256 f602c0dc7da28ce5042a20c098ceb113019006ed82e8eb77e8436d78f8c8e27e

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 25dee7c257086185dce1031f4013f30ced040850df8cd28dd2421b6839794de3
MD5 cea06af837226b713617ca76c194fd1b
BLAKE2b-256 afcf5d35f95c831305ac79a7af55c5542209152217da94620458fd73d91e739f

See more details on using hashes here.

File details

Details for the file python_sat-1.9.dev2-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

File hashes

Hashes for python_sat-1.9.dev2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 19a9eb8617103e923b897482451fab6cb57105034203068afd5a34fbcec9352b
MD5 4d6c9cdcbf8bc569767eaaa0f99fa950
BLAKE2b-256 21d790aa8783d1c55658d787b058332e810ea0adccbe75a785094c47d8f872af

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