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 | 16804 |
| MD5 | 98AB842E4AB64B3CCEF8C757EC24A618 |
| PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3)
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides the pycroptosat 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.6.4+dfsg.1-1ubuntu1 |
| SHA-1 | F4C8958DF0BB3DF343D97B87AC1CE934451D5399 |
| SHA-256 | 63A06E6F86338A1F7A2D067ED31AE91B6AB36D333B3E8ABA3616FFC92A5F2C30 |