| Key | Value |
|---|---|
| FileSize | 92420 |
| MD5 | 3E8FD2F5412F41CB80BC0B399F7ACF49 |
| 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 | 25F443AA0D6DDA3E6CD90AC9FD63E97B31F55408 |
| SHA-256 | 5CDBFAD30F7536828B303062EAE606BC32C979430C434947A3E8CD28D9E15D77 |
| 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/bin/cryptominisat5_simple |
| FileSize | 43256 |
| MD5 | 7A978DDC2C5FA352C097B85E0D1E0C2A |
| SHA-1 | 362CE124D97925837826C6F90207105BC745AF73 |
| SHA-256 | BF5F0CA819F9ADA48B043613BB78164C6AAC6315A450A3236063F7BFD79886C7 |
| SSDEEP | 768:bw2xpMl6jymTfBkmPEwp1CM8fGbxjfeSqIs/Bcgr:bRMlQbBkmMU1CfGbxjWSqJ |
| TLSH | T1B0132B17B9D1AD7CD0C49B38D58F8133A7B0FCA9EB21265F224883352F43A84DA1B764 |
| 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/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/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 239 |
| MD5 | 6C5CECC3E3338CDF60CEA9BAC0B1DE36 |
| SHA-1 | 04C00E899B781ACE8A349E6EBDB59226BA49AEBC |
| SHA-256 | C4B15FDAB3966F4E3DF2B2A905B45A1ECA58450D6DA6F0026095C8B241E591AC |
| SSDEEP | 6:XtRDxj6O8mMhysM5x/zQLbplOHHJFX7ifTq:XPDErmMxAx7QLbpOHJFD |
| TLSH | T141D095B1C504B07440C07DF1015FA4D64D855CDD0B05B188144331417F1DB4521D0DFC |
| 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/bin/cryptominisat5 |
| FileSize | 272816 |
| MD5 | 85FF3129CAD11CFFBDD39BD4E5315A0F |
| SHA-1 | 4134678D56B0FEB2630FAC4535760978F83F6285 |
| SHA-256 | 9A2A319964A176CE91E6EF66B3394AC3C90186D00544127BCEF7FF753B0EA67D |
| SSDEEP | 6144:ABeRueVgN8EvlgW/rv1TdRYVDXenXhk/RWsjol3xsjq:AeVgN8EvaWjxdqVCnXGRW |
| TLSH | T18E441A0FF5118C7EC1C6D1B11ADB41F25271FCF48B31363E62D4972A3AA1AA5CB29762 |
| 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 |