| Key | Value |
|---|---|
| FileSize | 77096 |
| MD5 | E0D531FE733833A83078522002DF8E9A |
| 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 | 314CE1A1B9126B77226030A78DC35ECAB4CE3500 |
| SHA-256 | BFDD6100D338569563917E14639621D62B423A2A90E6FDA2C5C77353C1644E1A |
| 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/share/man/man1/cryptominisat5.1.gz |
| FileSize | 853 |
| MD5 | E3C3CFB781DC237B8811359971616272 |
| SHA-1 | 530FCBF83E39126A0A7532CE4A4686D0AD8E13CB |
| SHA-256 | 574F0A235DE534AEE5290DA1CC35464410AEEAF7F316A00273E1DE7AC8FBBCEC |
| SSDEEP | 24:XLJRaHVN3HNknhQqo+kjh07t1M10u4IzzBNtEesT/:XLJ+pkn+njKml4IzzBNrsL |
| TLSH | T10F01962459461932E8416B7C4BE0881A1027EF15CAF3D505CFD2FE8458F7687C2595BC |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 219648 |
| MD5 | 2DC7365DE0C1D0809E6EE698772185DB |
| SHA-1 | 901C10A513181C68E4C6D927B5DDC92644FE5ECF |
| SHA-256 | 32839AE1FB871F589624DB33225B084FF0129785AF20E45C4453F31FCDAE1F12 |
| SSDEEP | 6144:bleRO3p+bn+8bI3weO3Q3hGXOIAc2T4fnVhRcTR6Kl0H:B3p+rMgeO3Q3hGXOIbnV |
| TLSH | T13A24282A70165C7CC9D7D1B80ACF42716630F8E48739F62F72C4D37A0A53AB58B2AB55 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 801 |
| MD5 | 1546C9198458A9E64283782FD2F5547B |
| SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
| SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
| SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
| TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 247 |
| MD5 | 861F996C47ABA422F29F8C4D05F8F604 |
| SHA-1 | A52484A16261BA365B9E325838B24E811CD31B82 |
| SHA-256 | EA57D813A4825A92C89C938D655735FA7A4905866B534AF5B8EF21A37D1EC018 |
| SSDEEP | 6:XtZqiLMV7HRaJa9xsiLfUh+zZu3s0VJaKVFZ39n3oeJlwJNg2G/:XjkNa6xDLsh+zVsJH7ZqyqDg9 |
| TLSH | T1C1D09719DDF22862C868022B00C0402DBD2789B28F0B3A070998A178A211250CF00A35 |
| 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/bin/cryptominisat5_simple |
| FileSize | 39240 |
| MD5 | DB01AA0D5C40E509117D2753B7AA047C |
| SHA-1 | F11BFE952C98A79F58137D7D307C84DB3232680E |
| SHA-256 | C3B2EE60F675166BFBD417DFC1DF1853537190A2A5AC72336D1ECC51DCE4051C |
| SSDEEP | 384:iys9opYijqa7KHom0JPPk9UUF170scbLrMvbB7lpBXnSARMNbp/BHs6m:iNxfaGHB8CL7hcgt7lpBXnSGE/BHnm |
| TLSH | T185033B06B5E1997CC481D93899DF8173E371F8D9B63115BF6288A3352F83AE48B0B764 |
| 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 |