| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 5927 |
| MD5 | B465BED9AFD3E99415A13348200C0110 |
| SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
| SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
| SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
| TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |
| hashlookup:parent-total | 124 |
| hashlookup:trust | 100 |
The searched file hash is included in 124 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 502056 |
| MD5 | 1BF9B9FB74F1BF9FF219145168D12BBC |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 02823D514D4B0BFCF7D8A1683BC73AFB839A2B5E |
| SHA-256 | 0B42CD0874346F85A537C676A30517324D4911A7CA408E2CE503299305FD56BD |
| Key | Value |
|---|---|
| FileSize | 67252 |
| MD5 | 67799CE18D9B99E580282C884DAA84CC |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 05E857503F1AD3DE59CFCE5B511D1A5C8AC5D184 |
| SHA-256 | 87631651A4F688D7766BF97B978F83DB7EA8EB928DA91A291BC7FCC759B31E86 |
| Key | Value |
|---|---|
| FileSize | 502540 |
| MD5 | 02F0ADE2CA812471AA82569C28305E3A |
| 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 | 097F8DD87A5442FC35CF0127D83A024056E631CE |
| SHA-256 | 58CCFFAAE73CDD5DE57F014710E7A5F14D1A4525FF446627F91655F6C5F56DCC |
| Key | Value |
|---|---|
| FileSize | 12920 |
| MD5 | 37AB0ACED708CF97AA0357753B4D446E |
| 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.8.0+dfsg1-1build2 |
| SHA-1 | 0A53A6D14BDAF8389E5FF8D691E42C39F607525C |
| SHA-256 | 5239BFD0151CDA073074028BD880521EB3406B18257487FC7AB258DC0968ADD4 |
| Key | Value |
|---|---|
| FileSize | 91652 |
| MD5 | 99C93AA774A5714977C0B191A9553E4E |
| 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+b3 |
| SHA-1 | 0AC60DD1EB592C5BCE99E330E3482B4F00492C4F |
| SHA-256 | B61BD2087EE020FEBF64D9657CBD3CBE122C73CA9CE929A842745ACC491879A3 |
| Key | Value |
|---|---|
| FileSize | 88028 |
| MD5 | 7DD2E3E22252DEF1B3F7A38786E96283 |
| 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+b3 |
| SHA-1 | 0CCD17D64CE401A6D72DDBED9DC6536518F56178 |
| SHA-256 | 1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE |
| Key | Value |
|---|---|
| FileSize | 86896 |
| MD5 | 5326F3B0754C669C963919B770E4C731 |
| 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+b2 |
| SHA-1 | 0D05BF9AE969166B11FC96A8B486ABF099CD9341 |
| SHA-256 | 45CB8401C3DD1890678DD71C52EAD811B33EA6BE923539E31E1457F2564CACBA |
| Key | Value |
|---|---|
| FileSize | 528708 |
| MD5 | 22AB31FB6D049596A4A5698595C228B9 |
| 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 | 0DDD0117A07CBC119FE3AF8D4E3EA91BF50CABCE |
| SHA-256 | AD61A4406D52382489D8A31E307A060DFEDDFB32AA6B21575110ED2F71EEE5C0 |
| Key | Value |
|---|---|
| FileSize | 18324 |
| MD5 | 796BDD68E1D0581A22FD9645D5F3703D |
| 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.4+dfsg1-2+b1 |
| SHA-1 | 11F740591EECB38D469E324ED32FE55854FCD823 |
| SHA-256 | F406026A95EDB9155AE7EF46CE09DE45809DF53C484EB9EAE7FCA213D95942C9 |
| Key | Value |
|---|---|
| FileSize | 93104 |
| MD5 | 109C6093988DD858067CBF77AC94037A |
| 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+b3 |
| SHA-1 | 1370B27CDFE9BA1E715FF3611F3E01F3CA7F5E38 |
| SHA-256 | 98D30C612EBCE37C14ABEC8545E8F38014656BA971178A50CE5C23EBE5400D39 |