Parents (Total: 4)

The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	533096
MD5	A4359D3E62C51B509360FC43C0723B89
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	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	python3-cryptominisat
PackageSection	python
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	BDF417A89F2F5D53BD1DFEC6C7394E0CEFC7506B
SHA-256	8467F86B209DD29CB73FF129D37E047E47ABD7FCD3B292FCE36D5AB0EB27BBD7

Key	Value
FileSize	77044
MD5	8C8416F991445F3624D57CB3AC613A83
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	C9C6D7D4897CFAFF17296BDB22636D3709E7B89E
SHA-256	6CDFDF188C0224ED80BC8EA3E1437FF5001B48D092EA2A5EBCF5D6F0E7B38AC5

Key	Value
FileSize	15804
MD5	D6015026ADEEB0DC24FB95DD2C8EC38A
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	C815A7E4622C7AA938586116BC65BB0AAD742806
SHA-256	5EC94390F5B0C162B2AED2F77D8E117E9117D5E306EA2B59FBE1460B781DDEC3

Key	Value
FileSize	502540
MD5	02F0ADE2CA812471AA82569C28305E3A
PackageDescription	SAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-5.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	097F8DD87A5442FC35CF0127D83A024056E631CE
SHA-256	58CCFFAAE73CDD5DE57F014710E7A5F14D1A4525FF446627F91655F6C5F56DCC