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	13196
MD5	3A964024B3B5117F98990BF95C0AEF31
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.7.1+dfsg1-1+b2
SHA-1	5D32224A96A2CF115560AF1DD2567A54881A800E
SHA-256	1F6082F86143A1462B96F0A67B62DCB3B281D818D1C19E7236BD6C3D701A9A22

Key	Value
FileSize	88328
MD5	55FA1AFCBCED4DEA4457E5B559D3CA96
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.7.1+dfsg1-1+b2
SHA-1	9DB83C61CD769D29C61D96A09144148E27405045
SHA-256	0578D729E6A57BA8171B8ADB01A54DEC24233FEEF2C16EE158A31B4D29815763

Key	Value
FileSize	379428
MD5	62D6ED2B6A0C8859B8B56AA4CF020C61
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.7
PackageSection	libs
PackageVersion	5.7.1+dfsg1-1+b2
SHA-1	5288F648EB3586E32D388628B4A0FD0665C4F533
SHA-256	7683570EFB7E137A4A89B2B7C09E00A3E1183BE4CBB4F9E79E3ED32AB014D43A

Key	Value
FileSize	17824
MD5	BBE9BDC7EABF39826E3393C67374BD83
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.7.1+dfsg1-1+b2
SHA-1	4BB17172645FBE42EF83EECF0A51F4FB6616C46F
SHA-256	8EC08E0BA02EE841F1ACDE5D39C47B2D89412E566EF1990E921BD306F0F59EA7