pycryptosat SAT solver
Python bindings to CryptoMiniSat. The solver runs inside the Python process.
Installing
pip install pycryptosat
To build from source, you need a C++ compiler, GMP and pkg-config (e.g.
sudo apt-get install build-essential libgmp-dev pkg-config or
brew install gmp pkgconf), and network access, since the build downloads
CaDiCaL and CaDiBack. Then, from the root of the repository:
pip install .
Usage
>>> from pycryptosat import Solver
>>> s = Solver()
>>> s.add_clause([1, 2])
>>> s.add_clause([-1])
>>> s.solve()
(True, (None, False, True))
>>> s.solve([-2])
(False, None)
>>> s.get_conflict()
[2]
>>> s.solve()
(True, (None, False, True))
A literal is a non-zero integer: 1 means variable 1 is True, -1 that it is
False. add_clause([1, 2]) adds the clause "1 or 2".
solve() returns (True, solution) if satisfiable, (False, None) if
unsatisfiable, and (None, None) if it ran out of budget. solution is a
tuple starting with None, so that solution[i] is the value of variable i.
solve() optionally takes a list of assumptions: literals that are assumed to
hold for that call only. Above, solve([-2]) is unsatisfiable, but the next
solve() is satisfiable again. After an unsatisfiable solve(),
get_conflict() returns the negation of the assumptions responsible for it.
Solver methods:
add_clause(literals)add_clauses(clauses): a list of clauses, or a flatarray.arrayof zero-terminated clauses (typecodei,lorq)add_xor_clause(variables, rhs): the XOR of the (positive)variablesequals the boolrhssolve(assumptions=None, verbose=None, time_limit=None, confl_limit=None)is_satisfiable():solve(), returning only the first elementget_conflict()nb_vars(): the number of variablesset_option(name, value): see Solver options
Solver keyword arguments:
verbose: verbosity level (int, default 0)time_limit: CPU time limit in seconds, persolve()call (float, default no limit). Not reproducible from run to run; preferconfl_limit.confl_limit: conflict limit, persolve()call (int, default no limit)threads: number of threads (int, default 1)options: dict of solver options, see Solver options
verbose, time_limit and confl_limit can also be overridden for a single
solve() call.
The module also has get_option_names() and VERSION.
Solver options
Solver options can be passed to the constructor as a dict, or set one by one
with set_option(name, value):
>>> from pycryptosat import Solver
>>> s = Solver(options={"maxmatrixrows": "5000", "polar": "rnd"})
>>> s.set_option("seed", "42")
Names are cryptominisat5 command-line options without the leading --,
and both names and values are strings. Only the options below are available,
pycryptosat.get_option_names() returns them. Options must be set before the
first add_clause(), add_clauses(), add_xor_clause(), solve() or
is_satisfiable() call. Errors:
ValueError: unknown option or invalid valueTypeError: name or value is not a string, oroptionsis not a dictRuntimeError:set_option()called too late
Boolean options take "0" or "1". Run cryptominisat5 --help to see the
default values and the full descriptions.
General:
| Option | Meaning |
|---|---|
seed |
Random seed |
mult |
Multiplier for all simplification cutoffs |
polar |
Polarity mode: true, false, rnd, weight or auto |
branchstr |
Branching strategies to switch between while solving |
Search:
| Option | Meaning |
|---|---|
restart |
Enable restarts |
stabilize |
Alternate stable and focused phases |
reduce |
Enable learnt clause database reduction |
lucky |
Search for lucky phases before the CDCL loop |
sls |
Run local search during rephasing |
rephase |
Enable resetting the saved phases |
target |
Target phases: 0 = never, 1 = in stable phases, 2 = always |
nonstop |
Never stop the search |
Simplification:
| Option | Meaning |
|---|---|
schedsimp |
Perform simplification rounds. 0 turns off all inprocessing |
presimp |
Simplify at the very start |
schedule |
Simplification schedule during the run |
preschedule |
Simplification schedule at startup |
confbtwsimp |
Conflicts before the first simplification |
occsimp |
Occurrence-based simplification (BVE, subsumption, ...) |
varelim |
Bounded variable elimination |
bva |
Bounded variable addition |
distill |
Clause distillation |
sweep |
SAT sweeping |
congruence |
Congruence closure over AND/XOR gates |
congruenceandsz |
Largest AND-gate clause congruence closure considers |
congruencexorsz |
Largest XOR-gate clause congruence closure considers |
absbudget |
Intree and distill budgets are absolute, not relative to search effort |
scc |
Find and replace equivalent literals |
intree |
Intree probing |
transred |
Transitive reduction of binary clauses |
XOR and Gaussian elimination:
| Option | Meaning |
|---|---|
xor |
Recover XORs from the clauses |
maxxorsize |
Largest XOR to recover (at most 12) |
xorfindtout |
Effort limit for XOR recovery |
maxxormat |
Largest matrix to echelonize during XOR recovery |
xorgatemaxsize |
Largest clause XOR-gate finding considers |
maxmatrixrows |
Gauss matrices with more rows are discarded |
maxmatrixcols |
Gauss matrices with more columns are discarded |
minmatrixrows |
Gauss matrices with fewer rows are discarded |
maxnummatrices |
Maximum number of Gauss matrices |
autodisablegauss |
Turn off Gauss matrices that perform badly |
gaussusefulcutoff |
Usefulness ratio below which a matrix is turned off |
gaussmincalls |
Gauss calls before a matrix may be turned off |
gausscheckevery |
Check whether to turn off a matrix every N conflicts |
1 maintainer
Metadata
1 maintainer
Release files for pycryptosat 5.17.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 42.7 MB
Release files / pycryptosat-5.17.0-cp313-cp313-win_amd64.whl
| Download URL | pycryptosat-5.17.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
6587ac00436c2505861dad0b94e8cbbc48d0656e7c56b4665a91c532c85517bf
|
|
BLAKE2b-256 checksum How to use checksums |
a5ff99c8351fcbafd01da5f0c167ef53cd521fdebe853754371f65694c1c1543
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp313-cp313-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.13 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
85b8fcaaa1ca1db7ca65da3c87027ca4ae7565fbce6ab6cbcd82709f0d44edaf
|
|
BLAKE2b-256 checksum How to use checksums |
39488cd9a9b68375138d47811df3fc2d4c345d648b8332c417f6c5e402df1500
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp313-cp313-manylinux_2_34_aarch64.whl
| Download URL | pycryptosat-5.17.0-cp313-cp313-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 1.6 MB |
| Tags | CPython 3.13 Linux glibc 2.34+ ARM64 |
|
SHA-256 checksum How to use checksums |
28fda8a2fe353b0cb241845091945e64ffa44a472b1d6581b5dd33ef126848d0
|
|
BLAKE2b-256 checksum How to use checksums |
e207d9f34c83ec3a677fa9a8be4c67a1f00248c587e95e015e8f7962d09925df
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | pycryptosat-5.17.0-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
6d554db8220809747589fbd41b76ac7f5dac444e6c2c1c2cbff96fd1ebb43c95
|
|
BLAKE2b-256 checksum How to use checksums |
7a7bc59d25869702b9efc66769f940046b496bd7d85ea9a74e5a6d55a03c7438
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
120280ffcfc1abdbdb4d8a9babc6c3edeed15d38697b9ca4817cb4c216c25ebc
|
|
BLAKE2b-256 checksum How to use checksums |
4c056404062ada4f4e72c3515e65eb8f92d1e05c51acbec2fd44eb351f734071
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp312-cp312-win_amd64.whl
| Download URL | pycryptosat-5.17.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
f78dad5d18cf9dbc71ac85aab5e084e0c4e06683b1400a69c29b0749ffd9e6ca
|
|
BLAKE2b-256 checksum How to use checksums |
e895be7f446db7fe668defb437c24371d2a045b9b8fea7c82e26b80f89077445
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp312-cp312-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.12 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
ec4f6bdab50ad90048bad748b6e202613a8f23d18878c53cc9b5974c35829bb0
|
|
BLAKE2b-256 checksum How to use checksums |
072e7b3e7c898bf7ca55956233bde562454e0f198f733aead1f0e33193b52afc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp312-cp312-manylinux_2_34_aarch64.whl
| Download URL | pycryptosat-5.17.0-cp312-cp312-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 1.6 MB |
| Tags | CPython 3.12 Linux glibc 2.34+ ARM64 |
|
SHA-256 checksum How to use checksums |
2321d74793f44f23ab37f3fc0f181c2e66e7fa8ac51b49ba8f628391e4dae574
|
|
BLAKE2b-256 checksum How to use checksums |
212e78f8e30d0989188206b249957b43bd3d486c79b8a76d409519210d3460c2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | pycryptosat-5.17.0-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
afc21600a5288bd1326c9d1d581bc29b682b97da5f6bc056dddb5df36a7df12c
|
|
BLAKE2b-256 checksum How to use checksums |
5780a6461802606d41fe1af0457199b6345781cddc39e30b86829f392e731dd2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
e4a9effbacb64a0d7dfd33b614c560797ec63224b59e2cd0fdcf000f4f73b947
|
|
BLAKE2b-256 checksum How to use checksums |
c4cb3adf9cba161f052a0fefe2d43a4d17bef54a44795ff8e922ed3799370a99
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp311-cp311-win_amd64.whl
| Download URL | pycryptosat-5.17.0-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
853608ad50e1502cb9430b63ba0cbdb0382fbe4f48cb009054b270dc78e75b46
|
|
BLAKE2b-256 checksum How to use checksums |
b7d29d98d7e1eb3542a1c1b57f1fbffa1d8eea65605627fde5ab1d963c67f883
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp311-cp311-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.11 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
9f5ac0fd1c1d730ff074d25c00fc0002001531dfc0792d37b3b3e3a63fa118d9
|
|
BLAKE2b-256 checksum How to use checksums |
aac0fc276fd0a5c84a029ebc60e4f14cab02a279067aed33f2434694b9f983a6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp311-cp311-manylinux_2_34_aarch64.whl
| Download URL | pycryptosat-5.17.0-cp311-cp311-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 1.6 MB |
| Tags | CPython 3.11 Linux glibc 2.34+ ARM64 |
|
SHA-256 checksum How to use checksums |
e9c7dd42075b26246defe0e89c8b6b86de19f8b32d8525860e6d924b5ce6fbac
|
|
BLAKE2b-256 checksum How to use checksums |
337441cadca6f1ef81090c49fa4bb6a58c7829613d042a8eafbd1d8cdb9cc6eb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | pycryptosat-5.17.0-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7abb39b6976aa6740db2a71e831ab7d1142cba8d3cf0b2c716f6f8df1d5ccc62
|
|
BLAKE2b-256 checksum How to use checksums |
c876ae98a13c949bd6caad9e071cbb9cb67309686127a9eb650378c43981f154
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp311-cp311-macosx_10_9_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp311-cp311-macosx_10_9_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.11 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
33ed106eba9ea13e20514039796cff1ee615defb9a4af19f3c7d5c3e05cabd5a
|
|
BLAKE2b-256 checksum How to use checksums |
f501bfa1d35b92d41ac691474f5211d38b2b3a7a3557d3174f707114aa72b06a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp310-cp310-win_amd64.whl
| Download URL | pycryptosat-5.17.0-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
cbfdfbc1dd06cdb7a2dc8523e1d571ee3cc6f6b004c7c17662a478721ff2371a
|
|
BLAKE2b-256 checksum How to use checksums |
fa0ba5e66ff7ad5a1f3c633bac04e9cbc51bf16a553795ec86c2922710568a6c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp310-cp310-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.10 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
15dff341a2b98368497f54f85326e0e8056684d73fbb5867998152fd7cf58746
|
|
BLAKE2b-256 checksum How to use checksums |
01d370ab5086325df2121f14e33ab600c44c41f960d57debbadf36502bb3e137
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp310-cp310-manylinux_2_34_aarch64.whl
| Download URL | pycryptosat-5.17.0-cp310-cp310-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 1.6 MB |
| Tags | CPython 3.10 Linux glibc 2.34+ ARM64 |
|
SHA-256 checksum How to use checksums |
81e4fe10b3fcd944f04b8155e613c80ef06cf29adfcc0f47d938f55afa015755
|
|
BLAKE2b-256 checksum How to use checksums |
1143112db9113bd1a2786956ba8d6ced1117c7456479b545efc986665633228e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | pycryptosat-5.17.0-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
95af23fe5db7e9bf711d3c2209cd960f331c6cfff1dc4644adefb14f2aa4a5ac
|
|
BLAKE2b-256 checksum How to use checksums |
3f1345db5f901136fb88c441787f3dcf3384930ac1f07ff9b0ca98bf1df389ff
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp310-cp310-macosx_10_9_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp310-cp310-macosx_10_9_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.10 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
fc69bf0526993a8b5986eaf2beef306cb1dd299cd13c7ae002f27bdd41b4e09c
|
|
BLAKE2b-256 checksum How to use checksums |
ca4f647555e9ff625f85c9a551a879e5d6a2894ac32d4e224c2f174d5bf99e74
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp39-cp39-win_amd64.whl
| Download URL | pycryptosat-5.17.0-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
8d9b09f5156ff8fcf7bc8ed451112bd5f169278d14f7743cd6b633f47c9be2b7
|
|
BLAKE2b-256 checksum How to use checksums |
67f40e01fa9c542be4df6025c41c056c02d4452f9597989ebc71448dc6838d2d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp39-cp39-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.9 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
c3f55ae7accf3db940173b4f12c0367ebaad22fce58b9f5539bd720c7b260894
|
|
BLAKE2b-256 checksum How to use checksums |
c8f4251c1e9f8504bcf4965c18e7dd6338404572d75c5dc35c50beefc09ca4b9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp39-cp39-manylinux_2_34_aarch64.whl
| Download URL | pycryptosat-5.17.0-cp39-cp39-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 1.6 MB |
| Tags | CPython 3.9 Linux glibc 2.34+ ARM64 |
|
SHA-256 checksum How to use checksums |
a8c7865135548b4fa9a369985ac15f706aa6d6957f3114ce0902a945443abf8e
|
|
BLAKE2b-256 checksum How to use checksums |
a6fc1cc5a5fee8d275db746a6854d565aca6c349e39f296654bf72bd84ab1ddd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | pycryptosat-5.17.0-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
eeecf7556c2bb9dbfc6525f3a6ccf92ba8cd2e82848f988da6659d0d1c01021b
|
|
BLAKE2b-256 checksum How to use checksums |
4b46bcc73d1f6777e86beb2593110a5a00359e6121bdcb5e4fc647eb4eb26fbf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / pycryptosat-5.17.0-cp39-cp39-macosx_10_9_x86_64.whl
| Download URL | pycryptosat-5.17.0-cp39-cp39-macosx_10_9_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.9 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
71b24c90aa1ff4135cd371ef187446976fca9151290997fcda4e31c7c8f77073
|
|
BLAKE2b-256 checksum How to use checksums |
4a051ab4083d5aac2047cb0aa54befa9f1ae2419b5b467e3d6448b11b288ff1a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency log
