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	101856
MD5	533FC5F1D8C0E2D85E35EF189E125E10
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	591C31EA61C236C7F5AC262D6AE7933084575D08
SHA-256	8357222EF08E3C2F628046EF9864357AAFE9C72FF68D8F9F225E015AA37D2B62

Key	Value
FileSize	13940
MD5	70E4A2E0942F183E20C6A5D29AC89E5F
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	554E17F4E927D3A63C3E4253F1381394D95269DA
SHA-256	E3A9FA8C9A515A83502BCD90069B51986D60E59FE311D42DBBFC8CA751DC5936

Key	Value
FileSize	19860
MD5	C206E6647D23B8ED6857A6C5401E13C4
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	36DB0CF2BE20F6FED180199D5F7655151F4002A0
SHA-256	F42F57B3D3023298762D7106DB1BECD25BEB6CA607A568DDF651B263D5E401ED

Key	Value
FileSize	454568
MD5	9A13EDB72A9975C7B27B4E38743220BA
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	BD4A01EE12E378ACBCFA2EEF5A1400F72E18C481
SHA-256	977A636990EC0896BC35C02E536C4ED6F8457489ED58F400C11B15ED8E8D4164