| Key | Value |
|---|---|
| FileSize | 70876 |
| MD5 | C8C6D47A1B25DA4B351C2C714D9A5A2D |
| 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 | BA23736F3EBFAF29DCB5A63BF37BFC8FE732D665 |
| SHA-256 | 87BAD6704BAE28EE93E4B32105C7767BA80567D5E3DC28E51C841B3A86DA217A |
| 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 |
| FileSize | 264552 |
| MD5 | C19AE797B6C534B6BDFFD122CAED8C78 |
| SHA-1 | E6CAE1CCF694C7FBF3F2A445752DFDEF8173B9A1 |
| SHA-256 | 956305C34913607BD02D143DB11AD77E1D128544AF8B33346C73F2F060AC4B26 |
| SSDEEP | 3072:Iq429AcLeR+jxLMQ93hu6MbBMjs9NrTD/x1xD4fon89I47epY:dleR+jxgQq6Md8sT/Nsfon89u |
| TLSH | T1DE443B4AED4E2D23D5C7A27C9F8B437273276588E32180927569821CFBD7ED9CE79600 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.arm64.gz |
| FileSize | 236 |
| MD5 | 1465201EAD37A96C59C508750693875F |
| SHA-1 | B71F01FE2484BB1C5789824AF2ABE6D19D3704CE |
| SHA-256 | F300EE76976B2CD30B7FBA2934E71B8C920CB03FC93970842C5486A86DD272AA |
| SSDEEP | 6:Xtv2zKJusdKW6reshjFH1G/FWXCX92FkxJ1ConatphZsm/:Xh2zydKWHsf4F22tba0m/ |
| TLSH | T1D1D0A7398CE66069CA056DA4D711C532B678A414ACD583241915883621ADC60CCB94AF |
| 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/bin/cryptominisat5_simple |
| FileSize | 67760 |
| MD5 | EB93731125D6C8898B9954CF0D78A615 |
| SHA-1 | 32D1C6CFE9B2A43510547E5A4CFEED4C5D114C0E |
| SHA-256 | 9078FD9B9188DEA952D385467D5700822F34FC40FD132A440D8FF021645F1115 |
| SSDEEP | 1536:L+cBYv+18jipwXWdUraRIfOFsTy5gHmtEyvgWncFVW/nqy3:6CgWMMn |
| TLSH | T1CB633B89FF4EF82BC142973C678753A1FB335C8DA31291D2711C424D9E8F98A8E76189 |
| 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/man/man1/cryptominisat5.1.gz |
| FileSize | 857 |
| MD5 | 7DE7FB999E894553D42E21620A07E70C |
| SHA-1 | DFC4636E8FF28ED91DA746950616D7C551765BED |
| SHA-256 | 1554C4A79C4FEDF5084A3104B2C11F67E538AD19DCC7A5741401256691B95976 |
| SSDEEP | 24:XmrCMumX8cWaId468FwtBGRDorJ+M+cfC:XyCRmMc2d46+wPGRDgs1 |
| TLSH | T17911923981EC92BEAE918850AAA88E6304684F52D0A0C28C712E38543866481C8D36B2 |