Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 18280 |
| MD5 | 34DDE2C8082BEDCA0B23356DD4A43B18 |
| PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3)
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides the pycryptosat module to use CryptoMiniSat from Python
3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | python3-cryptominisat |
| PackageSection | python |
| PackageVersion | 5.8.0+dfsg1-1build2 |
| SHA-1 | 5622B9F6A803EA4F77CAE142E9E056B03EB2CDB1 |
| SHA-256 | 4DA729891E58820FD2ADD0467F0A171F7C8F21A86020D5FA6B649E130A4C1779 |