| 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 |
| hashlookup:children-total | 8 |
| hashlookup:trust | 50 |
The searched file hash includes 8 children files known and seen by metalookup. A sample is included below:
| 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/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 631 |
| MD5 | 46D5B678FF61CEB6E0B4B8837E928C73 |
| SHA-1 | E46715026B1826CC72D5AAD5122B1430AA1EA75C |
| SHA-256 | DE91263B9E9A10A98A1DB708350F24B20A95A30641E2E2A6C28F0735AF65B98A |
| SSDEEP | 12:XcmQxoD/DUpLFUJkLViVg3qw0k70XLmt33gOgozvCi+tNMXGYmGy/JyVGlV8:XoewUW3qmYXgzqlHM2YmGogGl6 |
| TLSH | T1CDF062710D009A248A9E339E96814AEB48BE24DE3D1F9C06A340C83B0D890AB8C3489B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 272744 |
| MD5 | FA4C6798D9585272F58FF452D14F16B7 |
| SHA-1 | 9125EFEB2025599803096C1503BE53514B9CD6A9 |
| SHA-256 | BA8A2060150C38C46605684DA8217158CC06D6C38C36B2A311BA423C3F993342 |
| SSDEEP | 6144:kBeRae2gG8EHoWeVetx+1SxLPFoIkmn6ZJ:Ye2gG8EqVCx+1Ghzn6P |
| TLSH | T1BD44090FFD0CAC13D9CBA1BD6D5B4793A22368DCD369C562741D8159ABC7ACACB38610 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 5909 |
| MD5 | A598AC1CCA4E5F0D636F285321A61499 |
| SHA-1 | D42F2FC18213AF455AAD4E07DEC9B97EB83F75CD |
| SHA-256 | E3BEBE31149E2BBDA9E2C9A0557F77107917978160086D33E39988B5353E01D3 |
| SSDEEP | 96:EyYZvz5mVwg7V7cfwOrkkHUs1Rr2v1LMvBv3+edKrf/83I2eX9bQeitgmng:XyzodOY41wvmV31dH3I2u7itQ |
| TLSH | T1E3C18E7B4C785C391B18A46CCA4B6AB46385F4B361AD695B68C7C70BB21C970576C01E |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 39088 |
| MD5 | C574DFC63DD14D9F3EE7E15B568A6C7A |
| SHA-1 | 85AE0977EF00468A567B10D86B4240D69D520396 |
| SHA-256 | 3CE2686DD8B0F45D5DA84657E55C4BCD86D2D0B8D31B39C73A741F869A7FB12D |
| SSDEEP | 384:YzPSTLnSmZTz6HPkVa9AYeQPKija8g9Se0OUY6f/cOE+jS3ngxyXnbF7H8J/Bu:Yb2HC3BeQPKCJgKOUY63x/xyXt8J/Bu |
| TLSH | T1DE0317ABFA4EF833D5D3A37D6A8742A2B6279C88E21643D3311A430C6F439DE4D34146 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.arm64.gz |
| FileSize | 228 |
| MD5 | B36892C6BCDCB110751B949685095AC9 |
| SHA-1 | 20807A33F1FA685F3D37859F6F486E230A6536A8 |
| SHA-256 | AB8FF0746C9838A8F9BF7F63EB046D72304D4918B357B93AEAF10E60C001F8B1 |
| SSDEEP | 3:FttvGEFDenGCGTrYo0c+b4kHpC+Tnu7TTJzEjvt5Zr7sJdAn+vQlCYvwiEk9:XtvvFDenaTZ0VbxJC04T9i/GdDolCiRl |
| TLSH | T145D02348204B4854FD5D033C10F4019F80D071373402D11C400B9CE9238C0C371F0540 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 678 |
| MD5 | A266B6509219AC3598BBE374924A437B |
| SHA-1 | 8A7693039669C3ADA08F2DA173A5D3676F2B54AA |
| SHA-256 | 5DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB |
| SSDEEP | 12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5 |
| TLSH | T1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584 |