Pre-release
This release is a pre-release and may not be stable for production use.
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.
1 maintainer
Metadata
1 maintainer
Release files for python-sat 1.9.dev13
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | Actions |
|---|---|---|---|---|
| python_sat-1.9.dev13.tar.gz | 6.0 MB | Without provenance | Details for python_sat-1.9.dev13.tar.gz |
Built distributions (wheels)
Total release size: 178.7 MB
Release files / python_sat-1.9.dev13.tar.gz
| Download URL | python_sat-1.9.dev13.tar.gz |
|---|---|
| Size | 6.0 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d739626943f7ff0f2c71f54c88f9710ece7efbf4043a1408d6f7e807abb4fde4
|
|
BLAKE2b-256 checksum How to use checksums |
66f4932d1d49ffb0755516a3a76ada2b0cd3c61a23af654813f66781ec919e8a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 5.0 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
8661bd9719601ff7ba44aeb9cb7061ea08ba278f76f7f795a9d32e5c2d63c0b3
|
|
BLAKE2b-256 checksum How to use checksums |
261fdae2f9dae4e8d6f5667fa52224c786ad779bfc4c7b091f9cd193cc706246
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
4582dc32383e600585cd92411dd731891b6288e445907c8274907aacd92b219f
|
|
BLAKE2b-256 checksum How to use checksums |
affac878ba213ca3540d5abb548182c9efb665a8cdf6b67cd34e2b37d951a514
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 4.0 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
5d79a24613e8c0f70c88d6fb45248f7d3337b24578fc32201f84b4c692507cc8
|
|
BLAKE2b-256 checksum How to use checksums |
00bc86bcd2e7e4cc108bf851982d6f0432a9a6c07d8e01d8b93a04adf643c026
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
4bda6bb1c13bfe5a921568448750b43fc22a8f4f57811bd4f1902589d9c10669
|
|
BLAKE2b-256 checksum How to use checksums |
08c7d25fcd50822eb2a8725ff6bf77f1666b08ada8980d2620b4ed9069382329
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
fbbe1074f3860d5612df1e16f755af1e44a83e6ccc04688c58810344fc1a93bd
|
|
BLAKE2b-256 checksum How to use checksums |
dff6cdad3ffaa543689df662a07c86dad5300858ed99b7a088ff9ea1106a17be
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314t-macosx_10_15_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314t-macosx_10_15_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
0178badec6d42288ab00bb0b24ef5a3a073709a16508cbcb0c3e51e17134960f
|
|
BLAKE2b-256 checksum How to use checksums |
abb0f4ab61bbe0d7711773b81bb6ba2dce29ac562646097833d5f9c51cad4675
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 2.0 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
47f66d729139d3950bfe33104077acf71e39ca1047ce76654e4b8a77c0ef9401
|
|
BLAKE2b-256 checksum How to use checksums |
910a8f4570c0882b5e451db46c1f7de20fe571051a07bfa8c00b3897be9b081c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp314-cp314-pyemscripten_2026_0_wasm32.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-pyemscripten_2026_0_wasm32.whl |
|---|---|
| Size | 1.1 MB |
| Tags | CPython 3.14 PyEmscripten 2026.0+ WebAssembly |
|
SHA-256 checksum How to use checksums |
420b11ca6f71754fd4f6c7b4eb3d2732fb6c8991b1f53f53f2fe727978118898
|
|
BLAKE2b-256 checksum How to use checksums |
315a06804d832590b7e20766191355528eb6494ad170b9e8135416dcfacd5f83
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 5.0 MB |
| Tags | CPython 3.14 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
eb86d82b485b4fc79450e5286cc3a5eb99e5bc683463c0788e7c159c766b43db
|
|
BLAKE2b-256 checksum How to use checksums |
9b8f912889fed013dbdc7b4bd947a1af2c894bc7c50fda59c93386fda5d12383
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.14 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
c4cfccf84b2040e0495f9383eb133a6664271f53e15a16911be280697bb91e0e
|
|
BLAKE2b-256 checksum How to use checksums |
7868e7813e6b8a9a39cbee900101156dca83e8d550a7055d767486980daf1b7a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.14 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
a8ee87b954cbfaea097a6661dfaf3187f93630aaf2b2e60adc48cbea35e73055
|
|
BLAKE2b-256 checksum How to use checksums |
5b6d646b68039047977d8794a488c8f0ad2660c94ae49297cefecfd47ca7ad9a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.14 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
9c28b84fdcd519f5e0a2473d69b8451095e3fca59802b8946b977ec615a0a108
|
|
BLAKE2b-256 checksum How to use checksums |
e089b1d65528724c22a80bb84f412ba91755afc6b775693f967d624580c1d0fa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
80123c1a1ea6e9fd3d407ca4764824d82fc7872b1586592c6066de1ed795504e
|
|
BLAKE2b-256 checksum How to use checksums |
d43c6b9c0b1155b28be7eeda344dbe49dcfa5be20d796de270b143b567657e14
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp314-cp314-macosx_10_15_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp314-cp314-macosx_10_15_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.14 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
5dfc62f35a179c69060e943a94e21ced8f16d5e386817b95a73c45bd2e0ff444
|
|
BLAKE2b-256 checksum How to use checksums |
233da7d2454c2dbbcfad4b6cdb7de2e85c67dc2f040a7b95926f75889ad7fc4d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
eb24772df6a110a10a7b50e8157499f109f21074fbf2e2f5e06988bad0f0dfd9
|
|
BLAKE2b-256 checksum How to use checksums |
c6ee8c13f01afd14b8ec9735b90f961d8fabd90019cc8cc92bb849598cd55a33
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp313-cp313-pyemscripten_2025_0_wasm32.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-pyemscripten_2025_0_wasm32.whl |
|---|---|
| Size | 1.1 MB |
| Tags | CPython 3.13 PyEmscripten 2025.0+ WebAssembly |
|
SHA-256 checksum How to use checksums |
a6f90e1df7871ede2c718ca1ea073456974978683d58820f96113c9469c89720
|
|
BLAKE2b-256 checksum How to use checksums |
2cb2da642de062a0da4504564f672730cfc95629f36aa4546d7428fb02cc0af9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 5.0 MB |
| Tags | CPython 3.13 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
d9c0d13f400ab34f7a793edfa8d96c461e21008d359e918edc89c9972eeb22d7
|
|
BLAKE2b-256 checksum How to use checksums |
a9b3286b0a49560b8c1c7df3fe933d0d462e7bd15dfc2c0c266f452b2317bf6f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.13 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
76133f030cab56e593c087ab78d80d0b7f53af1ad652d650eabf43f433587dc0
|
|
BLAKE2b-256 checksum How to use checksums |
c7f3c2469d4a4ada4d8853a3cf4afb90fc3e3743235b4ff798b6b2584b58a681
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.13 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
50d78d0458f7c6a2fc7c56cace3552a809d9e5af6394ccf4d239ad52502dee8a
|
|
BLAKE2b-256 checksum How to use checksums |
48eee8203d83de5eb8692edc63b95e3a4121135dca088c147ef29890a10822d3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.13 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
bb0de4e9eac8ec7d0b71a17d16950fdbfd8b31e0be5140cf3c4e0e4a2dc10197
|
|
BLAKE2b-256 checksum How to use checksums |
5b5126a8d0b5ee790374d49b98d745f008858fd37599ace132910930a3d39a82
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
bfa6e970a467ccb2725ab91bd6f3db670504ffc2ca2618c06e98a93738bfb9c8
|
|
BLAKE2b-256 checksum How to use checksums |
5274cc8c1fe17e27a0af599ebd123731b14f55f0effa5ec6e68939febfc3cde6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
7a736ff40556083f80fd62d4da19df8b51996529282966ccc318f2bdc94aa9cc
|
|
BLAKE2b-256 checksum How to use checksums |
b4368cc9231d611f8e27472882834f3c02c1bf843faa4229f73ea8a6ec2702b5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
e76ae34fd5458fa6a4906215f3c51326f0bfc8be46cabfd8c7f70645cfd87cdf
|
|
BLAKE2b-256 checksum How to use checksums |
82bea05a3171f4ac72e8ee23d61b029a9a8910a1555070d258718880287e41e4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 5.0 MB |
| Tags | CPython 3.12 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
9bd77689788079a5fc99a3049f7a4c5bdbd948c56c03262828b36da7f8ab0394
|
|
BLAKE2b-256 checksum How to use checksums |
e1e8b5a0dcdfbdd31aa95f96efcccd6478edcb0cba0741832f9cd910cb3827b4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.12 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
38628091db6b80a3d0e037a8b3ff2b95464c86beccd93062e6dbca37407340e2
|
|
BLAKE2b-256 checksum How to use checksums |
16af7289a92cffccae807e01aaeadbef237a9e04cea860d009da77217eb18402
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.12 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
edd656ada93428e81cefad0a58686484b4e0902e8f026a2439bbb725aeb1e0a4
|
|
BLAKE2b-256 checksum How to use checksums |
5332e8a4c5b25bcfb3b54913a5bca6c4c2d18031376eeb76e809d7486f04db88
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.12 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
9410d5d9eeaeb0e7a6186bb2d8eeb71262615489038b19ebbd42f73fbed3b5e7
|
|
BLAKE2b-256 checksum How to use checksums |
d84141873d06fcbbc74144d539c831974f113796d442735da8b54c052c647d05
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
d51ca3ec842961c98ad8dfb99384d0f3fa23859e5755f78bcf50bcd6e4470218
|
|
BLAKE2b-256 checksum How to use checksums |
bd280f2c5165afc1bd47d68d0e20079919bd8275d8e04c3e76825afa3ffb7798
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
4e22bec8b6691811d9131f872ccdf4659a78b0f1f6fe2f63543ead25656b5e3d
|
|
BLAKE2b-256 checksum How to use checksums |
a41c10a48e08411da22137b466cd61e271307c2a20a331453274bb5cc69a3efb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
64844381b8d2397defe9f6efc96aa14e2300942920a80a3eaded37a4a77fc05d
|
|
BLAKE2b-256 checksum How to use checksums |
f046db449b3ef882008664285e8682ef3eeec1e6b2770b26602dcb9ebecc670b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 4.9 MB |
| Tags | CPython 3.11 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
aba93f35a5d6186713e12a595904135c58d9c62cbb7b997e2263ae1ec0453d9d
|
|
BLAKE2b-256 checksum How to use checksums |
a4de6ab1aaa04dbe69d30721673064e25a87310e4d23cf0cfec5db18304eae1b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.11 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
fe4dd3deb70c91f8f24414c10d50c85a5ab1150f2a03ff4af7e4f0cb99d852f6
|
|
BLAKE2b-256 checksum How to use checksums |
1638870c84431e3e2c8974f396ab1bd42f3eb3990e9d1861bae7ad1434e5e38c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.11 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f115effac4629d43f7e2e5f638d6d671855bc6ecc0b3564bf024f929a2e62c9a
|
|
BLAKE2b-256 checksum How to use checksums |
70635eb70edc02a06281930450fbe399bb80fc391d36c8d88b752bde3f07c9f1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.11 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
cde3efc6ec1df78c9d2d843a693d8a61706457bf6be60ad9a3be34b7c37934a6
|
|
BLAKE2b-256 checksum How to use checksums |
a0e97091b8b0498802096fb8f1f14ece9aae7629e1ec3603f4e068ee1103a3b1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
607196afc86c8653970b228943ceffc79d4e22fde5e5160b0a2ecb90c345954a
|
|
BLAKE2b-256 checksum How to use checksums |
704e7fc8d22889ec0d15bcea6a2d7b36d16176a6d5d292f3ac3f8def499c6372
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp311-cp311-macosx_10_9_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp311-cp311-macosx_10_9_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.11 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
3e294019f5c72c1e768d055e8e969efa11235dab864bc8ee8c1075eb486509a5
|
|
BLAKE2b-256 checksum How to use checksums |
651d0115172cb0d5f7f7c26a5e0b05260e90222f38c7ef7559d1b1edb948acf7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
a4e87a35e23f6367ba0c3534752328a81e7b35db3ae46a2569fd41fedbb7c44d
|
|
BLAKE2b-256 checksum How to use checksums |
94c63850d19c331e3e2f30e9ddfa6d8e20ec3975fc7de7c222198ee3aa42fdb5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 4.9 MB |
| Tags | CPython 3.10 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
4153e297aa9493a7fc06d9335404eb0c0c61e0bfd5288f3f81e0c294171a7c81
|
|
BLAKE2b-256 checksum How to use checksums |
68788c46d216949b5c2ed3f256592c4c1465e0a64cfaea3731cd30067ed9d13c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.10 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
08960d02c7e862908aa9ee19351674624e23b0ac584b34b42046e3bad74e0b28
|
|
BLAKE2b-256 checksum How to use checksums |
cae7f1ec563c369ea7313ffc45229b077903097737fcaf2871bd3176d3386c65
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.10 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
0c312a62053f952a841df906f0b602dd7d0c965bd467b5fcb9d942a72b46b8e5
|
|
BLAKE2b-256 checksum How to use checksums |
c8a3dfcbdcfa04a1717e85b869b972c39ebbc4938789a395fc8886a5ca27ad05
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.10 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
7f047b573367d30d07ebefba244fc844bb0d5aa2e73bb4286350190189b6635f
|
|
BLAKE2b-256 checksum How to use checksums |
e85e6819bef16adecadd406a5b257f4471d3247519ec9238b2ef9c013332f8ef
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
52ca2abd3a17b733b87dae8e379053be0b1acabd2a5c9daf9546a8b263c04746
|
|
BLAKE2b-256 checksum How to use checksums |
33c418c176d9c0da941c0bebaffa8c6a6c433de355d4099b7c688ca1f69c01ae
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp310-cp310-macosx_10_9_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp310-cp310-macosx_10_9_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.10 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
c0f695ade2e0bc732913436e7b85b7e90ac06fdef8673cb9ef0c5c3f751e2303
|
|
BLAKE2b-256 checksum How to use checksums |
74d3be7008cc928c115be4abbdd55f4194ea2fa115110cbe2a3f30d0621343b1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
5d06bba1df093025e6d3d386c6061c2a1399180a95f5223476c642227e967c0a
|
|
BLAKE2b-256 checksum How to use checksums |
0df8fd9c91894fdab39b03d7238876704284f026995444c44ea7364d1a631a1c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Release files / python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 4.9 MB |
| Tags | CPython 3.9 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
4674e213e75227d44548009bc24e803c573fee8f0043be5f8c56e93dc68d0ec6
|
|
BLAKE2b-256 checksum How to use checksums |
0cfcd21b74291959060c0c9e7f15c79d3d87f2130deba993bfb7f16311af515c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 4.8 MB |
| Tags | CPython 3.9 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
b911778925c7f653134cbad882f8530529303c9fd8816ced4b216e8cce957c96
|
|
BLAKE2b-256 checksum How to use checksums |
ffb055d6a27d532976316f0421478a62701922e55a205d00a474ffec2d84aa2a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.9 MB |
| Tags | CPython 3.9 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
e99a1b4d37e60407ca42a45d5edf0fd05f72c4977701143011f19779f806189d
|
|
BLAKE2b-256 checksum How to use checksums |
c51ff47967a2e3bca1ec501c55204ca98b2ab956f0bdf1ba7d78bcb892e47df8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.8 MB |
| Tags | CPython 3.9 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
763532ce2425a762e44ec5cafad4022653a01e4a2edf0ccf58c46c8c28efc56e
|
|
BLAKE2b-256 checksum How to use checksums |
f95311f479157675a59c1dc487ffa743843609ed23adebf24cbd4f4837be01ac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
1139ffd332a272b39db33b5d7824d33b44c7419aca25a179e4f49a4bae2cd9ca
|
|
BLAKE2b-256 checksum How to use checksums |
51e1afbd91af5d9c65874f54917751cfeb68391eaece6daa474f3a723c15f8b2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp39-cp39-macosx_10_9_x86_64.whl
| Download URL | python_sat-1.9.dev13-cp39-cp39-macosx_10_9_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.9 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
661be001e03d98bf86635b04f2a3b7dfd0cb09ca4fe634142995cf3f7cd85989
|
|
BLAKE2b-256 checksum How to use checksums |
6c71bd38e4d10d4d1042d97f074d503845d3b1e864c703f73121b976b4fa0549
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / python_sat-1.9.dev13-cp38-cp38-win_amd64.whl
| Download URL | python_sat-1.9.dev13-cp38-cp38-win_amd64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.8 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
9c3ad9a63bd9ce6039948a9bca71d0c9dc54a526734cdc52c0bbc85f577a11d6
|
|
BLAKE2b-256 checksum How to use checksums |
c6d152cc8edb27aa4f6ad9755f4cf0d637d81874d8b2b5b071873ba25a078359
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.6
|
Security for python-sat 1.9.dev13
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
