| Key | Value |
|---|---|
| FileSize | 69060 |
| MD5 | 65782C824E33EBD87305BCD3303BAFB9 |
| 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 | F1C405F2431EC0A64C6DC7DBB288226FEE6CB7B1 |
| SHA-256 | 860D4EA5E93D7306A33B35E8192B2753DB8F53044267A54186E9C7804B4B05AE |
| 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 | 237 |
| MD5 | 5396EE850ED2EAA34D21B3AB70403736 |
| SHA-1 | 91750DA12209F212DA8A570433BCA9721F714E82 |
| SHA-256 | 31E9BB052BC7B493E50D17ACB15979943BD7A87CEB7DA30808FF38F4BA832DD1 |
| SSDEEP | 6:XtoVWny9rVmyIG5MhU09YnzmK8ZTa5z9hDvOwquikxl:XO/nuG5MWXzD8wz9hDvOwBikxl |
| TLSH | T15ED095F2151E6D104B11DF30DF20207C417973B05E03DC59C15A52C9D14155C8550727 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 67168 |
| MD5 | B95585DAABAB9DBFE9E01673C4452911 |
| SHA-1 | D946917DF69100891AAB606D973195881D0BB3EE |
| SHA-256 | D9CBC17D07B66062F10ADEAEF7A694E73E70F6DC965A2CB1AB4CAACD78071727 |
| SSDEEP | 384:mo92me81HXN/X+CnkMKnjhuJIEyaAXvL+Hqi/AMqfYspWAqHUNXgbF7k/BeT:BeO+mkMKjhu+z/oq+LscAfXL/B |
| TLSH | T199635B93F7E21E77C0D3877C24274F925BE1CA9985424B17AC4C61446A836ECEE3AF58 |
| 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/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.1.gz |
| FileSize | 855 |
| MD5 | 5EFD348E36D42A1B11E70DA6D4A49003 |
| SHA-1 | CACAD6394FA6D65F27AEADD76ABD67AC8BD36C49 |
| SHA-256 | AF67024DC2BCB7E807DD32D92B4A15A588B857061387E8FF49EF57EF08E3D490 |
| SSDEEP | 12:XCzEpEMCa/N8sf3kU1oiLt1uDRNowGFnrDK75qD0tnsT9Jhxcn/:XeEpEMC+3LoiLtYOvhHAOQSJjc/ |
| TLSH | T15F11964A32BBAD67F208363566D14405B9BE7453E9D7171C21D421400B48E23C2B0319 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 198296 |
| MD5 | FF9F132449075F90CAAFDFCAF42D8482 |
| SHA-1 | 5817FC9303A2BD766747BE5C30F6704249FDC728 |
| SHA-256 | A77CA86831DD342612B53F855C0DEB68CACE3B7902ECC3A0D2435E3A76390425 |
| SSDEEP | 6144:hWgfNuGs+ExCF96qgy3b6XVr+JVP0f9ncWA:mHZm3b6XVnncW |
| TLSH | T131149EE5A5C7DDF3CCD29BB8304B5E7A6252D8D22AA7C691CC0841684763BBCD03E764 |
| 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 |