| Key | Value |
|---|---|
| FileSize | 77044 |
| MD5 | 8C8416F991445F3624D57CB3AC613A83 |
| 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 | C9C6D7D4897CFAFF17296BDB22636D3709E7B89E |
| SHA-256 | 6CDFDF188C0224ED80BC8EA3E1437FF5001B48D092EA2A5EBCF5D6F0E7B38AC5 |
| hashlookup:children-total | 7 |
| hashlookup:trust | 50 |
The searched file hash includes 7 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 219648 |
| MD5 | DDF21FDF08BC575DB174D1C9E0B2C63B |
| SHA-1 | 5C9700BB25BD94A8CBC4C3F680BDAFEFBFC0A82C |
| SHA-256 | 42279CCCAD87D67A30E58C8787FC0D25DE2ADBA2A8AA902756D3107959B489EE |
| SSDEEP | 6144:qleRY34ebnH8bI1xY1XUtom7oz6cDU4nnVSlf/8zxaqFUn:C34erbPY1XUtom7ozbnVS |
| TLSH | T1A524292A70165C7CC9C7D1B80ACF42716630F8E48739B63F72C4D37A0A53AB59B2AB55 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 952 |
| MD5 | ECE54B6E3F35AE9A47E95D96C6BDE8B7 |
| SHA-1 | EE22E6A69CC004F631A2FB9872D156E631D5596C |
| SHA-256 | 7B6F6B59B61ADE30199C3E3BEA90FCAA82FF12973DC6E75543D1C98BADD7F324 |
| SSDEEP | 24:XbDkiU3mf0D4/NaLzwi7F+h63jqmozaeTRz5pfn5IdP0:XHk3Y6sE9lmhaI3P5f |
| TLSH | T1AE11C89C4B18DE81938167362A0B543BA7CFC3BF38B18A43E242B245D0914CBC8D9D09 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 233 |
| MD5 | EA17D1AF2F3D5D5FC03E79E369AE0CB1 |
| SHA-1 | 9942561625FDC36BDDBC4B986DDCA8D059F8F48D |
| SHA-256 | 5D00F18609E9372DACC9DCAA29C4ECA0113845ECCD5072B29FA90049E3BE220C |
| SSDEEP | 6:XtCewnvqePkuPAAnKgNT4miPI5ghmo83mrWE:XUeCvqePrAAKgNTfJ73QWE |
| TLSH | T1C9D0953012145721B3955134437108764401D0D854C1D56D0737F5457CA219F1936445 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 39240 |
| MD5 | 6F53BF788B8CFDD9F5866A73B36150A9 |
| SHA-1 | CD27F24DA7FB0128552A3D48588A57F662E77140 |
| SHA-256 | 8FDFC117FF1CE22BD22671AD71FC87F22C6DF008D243C75287831E73AE64DE26 |
| SSDEEP | 768:mtxFaGHh0L/Ac8s71pGaHSGE/Bff/H4Gm:m7xhDcn71goSG0/H4Gm |
| TLSH | T131033A07B5E0997CC481D9389D9F8273A371F899F63115BF6288A3352F83AD48B0B765 |
| Key | Value |
|---|---|
| FileName | ./usr/share/menu/cryptominisat |
| FileSize | 139 |
| MD5 | 17B1D942DB0FE666B31CF8CCF9E1F8D2 |
| SHA-1 | B308DB947BE4FB0101D9FBE8D0230577FDC587B6 |
| SHA-256 | C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775 |
| SSDEEP | 3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc |
| TLSH | T1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 818 |
| MD5 | D9DE8B527ED2C6DC93060C05C2EFCE8B |
| SHA-1 | 765069C270A35AD07AB3B2303C71E15206E64C72 |
| SHA-256 | A7035E235857D2BE1C7CBD8B986064180125D5F217F668B95B7112B7AF3751AD |
| SSDEEP | 12:XP06xVRfmlYN3RFfeuiE1sYSabXQGQuLua1iG3NnWCq6RTbZIyyKQOAuPkfYqP:Xs6xKiR4uiy3bgleDdnFz/ZIyyKQOGYC |
| TLSH | T1F001526EBB8EB994A02960AF55858600F95B23482088AACA1951334A38BA319241420D |
| 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 |