Package - python3-cryptominisat
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cryptominisat/python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb (Size: 583.2KiB)| Property | Value |
|---|---|
| Package | python3-cryptominisat |
| Source | cryptominisat |
| Version | 5.11.21+dfsg1-2 |
| Installed-Size | 1725 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | python3 (<< 3.14), python3 (>= 3.13~), libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1) |
| Description | Python bindings for the CryptoMiniSat SAT solver (Python 3) |
| Description-md5 | fe0ab3beb0e88dcf00ef6dde3984f9e6 |
| Multi-Arch | same |
| Homepage | https://www.msoos.org/ |
| Section | python |
| Priority | optional |
| Filename | pool/main/c/cryptominisat/python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb |
| Size | 597204 |
| MD5sum | 9c22534d0b18f681a56b723c7f3d5549 |
| SHA256 | a429078b5c28d7e0acce7561b9f9c027dbb45efebc43d336cebba9d4f5e311d3 |
Files in package
- /usr/lib/python3/dist-packages/msvc/stdint.h
- /usr/lib/python3/dist-packages/oracle/oracle.cpp
- /usr/lib/python3/dist-packages/oracle/oracle.h
- /usr/lib/python3/dist-packages/oracle/utils.h
- /usr/lib/python3/dist-packages/picosat/pico_config.h
- /usr/lib/python3/dist-packages/picosat/picosat.c
- /usr/lib/python3/dist-packages/picosat/picosat.h
- /usr/lib/python3/dist-packages/picosat/version.c
- /usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/INSTALLER
- /usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/METADATA
- /usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/WHEEL
- /usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/top_level.txt
- /usr/lib/python3/dist-packages/pycryptosat.cpython-313-x86_64-linux-gnu.so
- /usr/share/doc/python3-cryptominisat/changelog.Debian.gz
- /usr/share/doc/python3-cryptominisat/copyright