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	97752
MD5	3CF0DBB11603A6172BC08EE024A83195
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+b1
SHA-1	5E530544369AFCBEB5A0433DD2023B5060E56A13
SHA-256	4031935B2E91992235F7FB29E6E72AC15B6003B9B39F9194D72204F4EB06D60F

Key	Value
FileSize	19100
MD5	57F0AB97DF7CB0427F24D60F6550AD5D
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+b1
SHA-1	DE150BE72188CF1AC45804211BBB31A23EABC1D8
SHA-256	3154CBA982461FA85019E9C4F5E22C9189C85529EEB0366B48BBA4F0B13824D0

Key	Value
FileSize	429648
MD5	AA2D2C81188962895FC3CF4523F3CAD1
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+b1
SHA-1	CE680A19CA41A760A643277335A18358A23355C7
SHA-256	5ECE7F96EFA9884478A0F4C456BDE18BD10F73D079E32E7CE22D44426E2246BF

Key	Value
FileSize	13940
MD5	99CA2EACBE94CEADC4D09CEED44F7EF0
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+b1
SHA-1	89188C5DA483C7AAB9994CA61AA633B934DEA497
SHA-256	5E921C5FAD18F3B77D8446E22CA6EF6543CA90DCA4A204F889E9CEB186FB8747