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	441928
MD5	79EB6E82009353C319B1423937B9AF84
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.8
PackageSection	libs
PackageVersion	5.8.0+dfsg1-1+b2
SHA-1	577AA8F740782A4B2D4EA190EEDD3B30CABF8998
SHA-256	70B88D959EF6173140EC7D2EF30DF6E5D52BA76020CF5A75F796E228B7008322

Key	Value
FileSize	95560
MD5	63272CF5989B2B90EC09EB846CF61E02
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.8.0+dfsg1-1+b2
SHA-1	CF15CA81B44C40DB34F771C6B723E928ED0B97FC
SHA-256	543C1A23EB18C4FAF7A6147B4D091637DD8A421380A9B9C6A9E1735F3C9C6162

Key	Value
FileSize	13956
MD5	FF8707BD08F6A3D1F8B1299CB972C644
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.8.0+dfsg1-1+b2
SHA-1	E0C74C6B2B7023A4E8DEAB2B79341AB7AFAD4FCE
SHA-256	5270D5C72B65E8C8AD8C0BD6797ACA3A9E9CD6CD0B71F7DB0EF7D3EE216433F6

Key	Value
FileSize	19952
MD5	CFF23909DDA7B123AC84371186C37362
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.8.0+dfsg1-1+b2
SHA-1	66055AD0ADC853B6CEA76B4C724E702DC3518D8B
SHA-256	94689ED0457AE30315766B80EBBB1753587605875AD87A32F8199FA1BC99E4E8