| Key | Value |
|---|---|
| FileSize | 95560 |
| MD5 | 63272CF5989B2B90EC09EB846CF61E02 |
| 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 | CF15CA81B44C40DB34F771C6B723E928ED0B97FC |
| SHA-256 | 543C1A23EB18C4FAF7A6147B4D091637DD8A421380A9B9C6A9E1735F3C9C6162 |
| 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 |
| FileSize | 255636 |
| MD5 | 8F15FB06DE47C81BC0E05308BB42BC0D |
| SHA-1 | 466621158D2053BE898A9276EBA2550DCB873C3F |
| SHA-256 | 515CB93890CF763AA15F5A8BE04CBE4CD1BC6FBD5051351AC7CFAB7B73C48D3A |
| SSDEEP | 6144:AAOJRng/qJRRWp1wbX7NJDlgqAdNQ0sGJeD7+kFPU3ICY9zCtLYn8OyQQQQQQQQY:Wg/qJRR7JDlgqAdNQ0syeD7+kFPU3ICO |
| TLSH | T14C442B09E821CC72F0F341F5249B9BF185106D754B13C197FD8ACD98A5AB7A48A2E7B3 |
| 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_simple |
| FileSize | 38444 |
| MD5 | 34631B067D0951FC076F536ADA43066E |
| SHA-1 | 5F2751BB6D20C13B65DBEE03855CA21B70B5D1D8 |
| SHA-256 | 16E7294BAD1F31649D1146B02CA25FC463C581C337A12DBEA1CC3CC58311B8CF |
| SSDEEP | 768:uPyiPPGfTRlHCjWPH43nEEyyh9qtZnHTWK4wBcI8o2wFItWLK:uTWtA3EEJ9qtlHaKuop |
| TLSH | T1C0034B47FC92C9B2F0D397F0204B9F3696308D35A407C2E7F5298A5875926D89B1EB71 |
| 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.i386.gz |
| FileSize | 232 |
| MD5 | 987F67497909A2CC4FE95EBDC139E790 |
| SHA-1 | 3CCA44F60E841D5CCE79913CE56F1A95ED4DB3CC |
| SHA-256 | 4BA21E6AEB64E14D3DF30E0C94C72ABAB972C772934D22711C4D0AD3B1044905 |
| SSDEEP | 6:XtBSem+QcdkuRsnzkGerOh99VUFOcogU6xwJrfUWSiDbE:XqL+CuRsnxh/VUL5U9LU9iDw |
| TLSH | T1B5D0230134C04283F3C0CCDC28DA7194F487D3EE90274F018E360C900C88E5DC0AAC38 |
| 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 |