| Key | Value |
|---|---|
| FileSize | 67432 |
| MD5 | CEF451C75A27C67157BD85B14364FDE4 |
| 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 | A180EC62EF5E028222EB877D4C4EEDF581C4523C |
| SHA-256 | 7954B3A1B99C5F061C9278667285853775D38FF4FCF16011C06BA1DF805246D3 |
| 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/bin/cryptominisat5_simple |
| FileSize | 67160 |
| MD5 | 6E744F7F4400EFDE6AC96AA06A245C6D |
| SHA-1 | 0C91B8372A735B8071879F561CAF454F4F849958 |
| SHA-256 | E4BF606FB593ADB6123A4F87535DD15901A9BB2D65D498F96F90E4C59596EC2C |
| SSDEEP | 768:a+Zb7BnJuAg1foy8+ybupuvNtKtJLduPOG56A35Xr/BeT:L57BnJqf0+ybNvILd0X35X |
| TLSH | T1A0631852F950AFB6C4C2B6B5724B47ED7333DAB1C6CE2316942C4B1437D38D98A2A760 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armel.gz |
| FileSize | 217 |
| MD5 | CD0F66627491FA4429EA96A66A1E2479 |
| SHA-1 | 793D349A4FE51FE8885BDEF4EC7FA60BC8E11DEB |
| SHA-256 | F3EDAEE8AE5880CCB6D7EC0AEF3CFF07AED2C6532DA17F55B41F073AD6F036BD |
| SSDEEP | 3:Ftt1BJLzN9RM0H8dGOCfAqfdfju2Bux892mzeOlUpAT/KLbg4AHi8yVLdhnz+74B:XtnJmLrSF93rEqf3/Kdxz4sqtw |
| TLSH | T1D8D0A74A7D92EE25C2141870AD87839709572916895258393044DC50CDD9220B5D32A8 |
| 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 |
| FileSize | 198288 |
| MD5 | 57577DCC4AAD345313A29D6BCD4D8D3C |
| SHA-1 | 5C3668835109CF6DC0FDDE5F3BBD04DA07299D0D |
| SHA-256 | 16E2C5F646CC2510E2730318FEB3E52B28EC03CC72F607F4EA10B02E11592136 |
| SSDEEP | 6144:ifWklz9idMeqk12g6xpSdI1UmqzQrLo8VSQaposSP0fZnc:mOyiOpSdI1UmqzQrLo8VSQa1nc |
| TLSH | T16E142A8BF8C1AF75C4C02679F24E136973226FA2D2CAB11ACC28562C77976DE453D2C5 |