| Key | Value |
|---|---|
| FileSize | 67252 |
| MD5 | 67799CE18D9B99E580282C884DAA84CC |
| 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 | 05E857503F1AD3DE59CFCE5B511D1A5C8AC5D184 |
| SHA-256 | 87631651A4F688D7766BF97B978F83DB7EA8EB928DA91A291BC7FCC759B31E86 |
| 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 | 198288 |
| MD5 | D1C11B7ABFD5544A128BC17EC4255C2A |
| SHA-1 | 80ADA1EA52C9BBE9D04FA7EDC5295CCBCFC2D315 |
| SHA-256 | 2CCCEB38F3A81F7E9BE211894A48FE985711DBA4A9F1503687507C51C811A7DE |
| SSDEEP | 6144:LfWklxdidMeqk12gKlp7dg1cmCzerGoUVSIaxgf6P0f9nc:9Oyiyp7dg1cmCzerGoUVSIaCnc |
| TLSH | T115142A8BF8C1AE75C4C02679F24E136973226FA2D2CAF11ACC28562C77976DE453D2C5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armel.gz |
| FileSize | 233 |
| MD5 | FF04C429FCC291550E477AC0DFBE3E4E |
| SHA-1 | 90211B01A74928142C9247DE9BF7E6667C996EE0 |
| SHA-256 | 4D9FDDEA31D9642D87481BD0AB6372649F6C4AE327BAC2476F9D66144A0B5476 |
| SSDEEP | 3:Fttj2zTwTB6cTWmqDh0cdziqc+2OPYR4vx6RYwcsmY5USMM03dmcZGeKhNTI5Dh/:XtjeTwTBVT00siqT2uw4kR2sLUSMfHll |
| TLSH | T1E3D095F4104B42508884A7FC1D09081639F4C113BBB1D50502D5A74714D052137577C7 |
| 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 | 856 |
| MD5 | 074515E48B897A8AC151DDAE254020CD |
| SHA-1 | 99A23EF6A4552E814A38FDCA588F76A58392D518 |
| SHA-256 | 3C465BAFC5E3B206D032C1B9380677D12535B936A8E2AE4C34A527CB2A64541D |
| SSDEEP | 24:X4fM7wvMI2adMaQo6a3UOTPStjJfyqw0Kzu3x:XZ7wvMI2adMCx3UOTPStlfyqZ1x |
| TLSH | T11E1196B858F7AE22D5492097603EA807B71F9A49B4C88210C4894B0269F2C0E60431FF |
| 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 | 67160 |
| MD5 | CC0EA84C818E57497733EE73B6942D1E |
| SHA-1 | F668156797A4FAB156857A6D4B369B7CD56F7B38 |
| SHA-256 | F3F55A05FDF85537180BC0FD727706C03050AF95E0753A1B24A7F1B81FA5427F |
| SSDEEP | 768:SWb/BnJuVg1foy8tybupuPNAKtJLdqTOG56n30XL/B0:B/BnJdf0tybNPnLdsA30XK |
| TLSH | T1F4631992F550AFB6C4C1B675724B47AE7333DAB1C6CE2312942C4B1437D38D98E29B60 |