Parents (Total: 8)

The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	365476
MD5	B7D528327C0BD9ADACAC98FF7D28E5A1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcryptominisat5-5.6
PackageSection	libs
PackageVersion	5.6.4+dfsg.1-1ubuntu1
SHA-1	4A336E02B9FD829CA564ACEBAB486B4B4DD9684E
SHA-256	48CCCD9AC768ED60A034D896EC2556A062671FEBBFB86F8E27747FA312F8CE9E

Key	Value
FileSize	11340
MD5	6C327AA05C70E68FFFDDFF2D425BCC0E
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.6.4+dfsg.1-1ubuntu1
SHA-1	0704BEBE9445CD6A6541B54B2B83529BE90A7869
SHA-256	32C6839680872330BA6F5BEEA2083178782AD855152223E1A51F34BF2DF8C92A

Key	Value
FileSize	80172
MD5	8E8F57B66E7CA7ABC055D90EB8B7DDB8
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.6.4+dfsg.1-1+b1
SHA-1	631B829C6E519F6E26F072160E38A9B9E05A336A
SHA-256	222396EA7D6483C7F6F12E52F6361541957EC4002235FC071A404FE98754E3CC

Key	Value
FileSize	11868
MD5	36EA11981D91DF636389EB99545B1CF8
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.6.4+dfsg.1-1+b1
SHA-1	067ACDACE468F011C49823C11F162CEEFB4380DC
SHA-256	6D681500E72BB17DAA9447D457692F4BEA43C178010826BF16469F2711F007E7

Key	Value
FileSize	370448
MD5	B8C8B2651D24504116CDEA1D08E63BF9
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.6
PackageSection	libs
PackageVersion	5.6.4+dfsg.1-1+b1
SHA-1	D77D6E0E830923E7B0B3BB53A0386CB3FF467D58
SHA-256	EFAC5B344992B24B8E460C6F92E34096FCE3DA40574CE11169BFEEC74BD2E0C5

Key	Value
FileSize	16804
MD5	98AB842E4AB64B3CCEF8C757EC24A618
PackageDescription	Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycroptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	python3-cryptominisat
PackageSection	python
PackageVersion	5.6.4+dfsg.1-1ubuntu1
SHA-1	F4C8958DF0BB3DF343D97B87AC1CE934451D5399
SHA-256	63A06E6F86338A1F7A2D067ED31AE91B6AB36D333B3E8ABA3616FFC92A5F2C30

Key	Value
FileSize	17296
MD5	480C9E91AD17D7A144503A408B645BF5
PackageDescription	Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycroptosat 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.6.4+dfsg.1-1+b1
SHA-1	4DCE0E78206BADBD4E884F5388AAD171703106BB
SHA-256	394FB0FF3CB1E4421E6FF1C783AEC0B5CF9E91081FB44657EEFD536A60F6D179

Key	Value
FileSize	80300
MD5	71A7E7F77779F5CE76744CC390BD078B
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.6.4+dfsg.1-1ubuntu1
SHA-1	F6BA8D4E1DB075F70A75C4ED18467D3412A0201B
SHA-256	A7EE1EB2E7718C90A721EAD383DC4AC9CB75BD301BE04F75B0B38A1B6469998D