Factual package intelligence from PyPI
Bindings to CryptoMiniSat, an advanced SAT solver
pip install pycryptosat
PyPI declares 0 unique dependency rules for this release. Environment markers are shown when supplied by the project.
This release declares no required runtime dependencies in its PyPI metadata.
pycryptosat publishes 25 wheels and 0 source archives for version 5.14.7. Wheel platform tags: macosx_10_13_x86_64, macosx_10_9_x86_64, macosx_11_0_arm64, manylinux_2_34_aarch64, manylinux_2_34_x86_64, win_amd64.
Declared Python classifiers: 3.10, 3.11, 3.12, 3.13, 3.9.
PyPI does not currently declare: project URL. PyDeps marks these fields as unknown instead of guessing values.
PyPI lists 32 releases with files. The first dated release is ; 6 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .
The project does not publish external project URLs in its PyPI metadata.