| Key | Value |
|---|---|
| FileName | ./usr/share/menu/cryptominisat |
| FileSize | 139 |
| MD5 | 17B1D942DB0FE666B31CF8CCF9E1F8D2 |
| SHA-1 | B308DB947BE4FB0101D9FBE8D0230577FDC587B6 |
| SHA-256 | C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775 |
| SSDEEP | 3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc |
| TLSH | T1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C |
| hashlookup:parent-total | 43 |
| hashlookup:trust | 100 |
The searched file hash is included in 43 parent files which include package known and seen by metalookup. A sample is included below:
| 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 | 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 | 93936 |
| MD5 | 1F4C0E500572659DF1C54A462BBE409E |
| 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+b1 |
| SHA-1 | 13113B7DBC8F006AB8B8E9294527F4C721912E18 |
| SHA-256 | 9D90580091283B7CC76BD40EBAB70C214F1355D44D1C8E14FE1752B8FD9DC2A9 |
| 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 |
| Key | Value |
|---|---|
| FileSize | 84864 |
| MD5 | C1C6D5685E63431955E42F6932FD92DD |
| 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 | 17C1C656E599505FB5851023A800FFACC8DE16C3 |
| SHA-256 | 60671654CE33976EEB0679045CD5EEAB2D36CD16B5CC7D9DEF2004A8F957D193 |
| Key | Value |
|---|---|
| FileSize | 101740 |
| MD5 | 21FA98662BF4F6A6CCFBC9113A83AF96 |
| 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 | 1B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3 |
| SHA-256 | 33749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D |
| Key | Value |
|---|---|
| FileSize | 86548 |
| MD5 | A90EF3AE1476FD067AF946C089B61337 |
| 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 | 1E4D62AEE8C87AF9C091604BF4D7A0376287E034 |
| SHA-256 | D45E00283158E94174340DFEE813FEE005B95033533C7ADB9E8138FEB97E6078 |
| Key | Value |
|---|---|
| FileSize | 84068 |
| MD5 | E602DCF9A854BA3575F5B65E9CFA6C18 |
| 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+b1 |
| SHA-1 | 248440E3836D546551C8B6BD36EE8A56AEC60382 |
| SHA-256 | 85911ABE9FEC6966D3AAEBAF50418B7F270028E05F5DCF724F9DF7D890D19E41 |