| Key | Value |
|---|---|
| FileSize | 69168 |
| MD5 | 60D76947E3536C869E154FD7EA4296FD |
| 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 | 470EB4DE65812BE5CFA13E56A16CDB2D22E278B0 |
| SHA-256 | 69076169A5F1D3F39225E0E7789A1C74E308EF32751692910B69A89308718D14 |
| 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/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 218 |
| MD5 | 3DAB23C1D5AE73BEE22F610608079FDE |
| SHA-1 | 37EC6CF382342D130193AFC33693C3301420EBBF |
| SHA-256 | 3A34B3505C091CF87AFCF718FFCB1356CE645CD6C5BC5A679B9E6FE6CD1B9803 |
| SSDEEP | 6:Xt9OIEo6dMLxLM9FN7Lmej71KFpWYad0KU/PsgHB4Xmn:XBEo6dMLxLMtxjsFHs4/PsgLn |
| TLSH | T128D023F559194AADC024F75F1883F556DC0421714BC09D85C9EC6045DC180DCD5E365B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 198296 |
| MD5 | 56D9C835FEE13170270E38138B0C490F |
| SHA-1 | 46961A3B08677D032203C1BBD27438ACCFAC7EFB |
| SHA-256 | 2A4D7256AA525A329A29F82751BBCA5AE30A1A6CCE906D9AD8CD8F9888A26457 |
| SSDEEP | 6144:0cgfNuAV+ExCF96qgyT6e/drGlNP0fZnc/K:8HZmT6e/d3nc/ |
| TLSH | T119149EE5A5C7DDF3CCD29BF8304B5E7A6252D8D22AA6C691CC0841684763BBCD03E764 |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 67168 |
| MD5 | 5A741D05E39EA2D91924F9DB78912F4B |
| SHA-1 | 90CF73BC3C20A6AE2B8C9C3BD972E8849B88969A |
| SHA-256 | 4DEB691FEAE68A9D640B257CD93D33CB975B7A07210CBE358B7DB0DF54FA7368 |
| SSDEEP | 384:XkI92me0LHXN/X+Cn+MKnjhuJIEyuAX/c+bqZ/QMqbYspWAqnUlXAbF7k/B3JZ:Xzei+m+MKjhu+nP9qd/scAXXr/B |
| TLSH | T10F634B93F7E21D77C0D3877C24274F925BE2CA9985524B17AC0C61446A836ECEE3AF94 |