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	490160
MD5	496FEC3138E31B68D1A39FD4FB567E03
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	6E7C67582BA06ADED86C8578E58D8DAFD61B7A0F
SHA-256	63F0B5021561BFE9744C588FF2DC6302DB2CF857C50238811114043DC2F9C0C9

Key	Value
FileSize	15788
MD5	C7D657735A7B813CE45D4AF30B51AC0F
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	C8EF6FA5711CB410B75501F6E573E129BC677BA0
SHA-256	42823BED089D3D3FF4C31A05BCBFF708056AD453C52D1D67D51B2C7E5F14B87B

Key	Value
FileSize	70744
MD5	1F62679A6494E749935501D72181631B
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	A8B4EAB3E66174E6C2B80ADF463B44CD84C2D9C5
SHA-256	26E922EEAA7BCFE2CB87B78DA8F5910906E6AA052CC700490BB06C77E813857D

Key	Value
FileSize	451460
MD5	F451DECF97932C9903363EA2E61DCAAE
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	3A97D99D6F60FDDB7FD4AF7F226C348D9A675640
SHA-256	D80AE4E6B1E6A457506BC25F91CCB7F7651FE744FFD92F92121B18D9B97D4BFE