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	442452
MD5	D6C8FF4CCED39557423BC55E4B8B5013
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.4+dfsg1-2+b1
SHA-1	98118DDB443FBB32D5C133EA688AC7BD0C2AD04A
SHA-256	51D505D7DE83C9B629A2D554F2AAA5D0D498CD2FDFD7552B7664D8C9CD60B134

Key	Value
FileSize	18300
MD5	76B1EB149C8CB1A5C2A85E3183514799
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.4+dfsg1-2+b1
SHA-1	89F2F250ACAEC3576D0C3DC078A1628BD370032A
SHA-256	5825A7DAA20938D4C5B2333266B39760060ADB3DF1D75805FF832B250FB83E53

Key	Value
FileSize	473156
MD5	F8AC894E4BC2F4E70373B78A3ABC87B2
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.4+dfsg1-2+b1
SHA-1	7AE7B6DB64D5B1235D8576EEFC8EDC11C654B6DC
SHA-256	85450F038D6E2C4052B2CD1FA9FF39834301459873AF5FE5253CA87C603B18DB

Key	Value
FileSize	67252
MD5	67799CE18D9B99E580282C884DAA84CC
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.4+dfsg1-2+b1
SHA-1	05E857503F1AD3DE59CFCE5B511D1A5C8AC5D184
SHA-256	87631651A4F688D7766BF97B978F83DB7EA8EB928DA91A291BC7FCC759B31E86