| Key | Value |
|---|---|
| FileSize | 81072 |
| MD5 | C5A1F31FAF95CDF20BCBEC00AB603FB0 |
| 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 | F6E17074278908F266967FB82E14927B6B25F2ED |
| SHA-256 | 21C9ED0DCE427F9DD7F79920B4A0FC6C101CBD4655A664F3CF2F4D24DFB59627 |
| 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.gz |
| FileSize | 801 |
| MD5 | 1546C9198458A9E64283782FD2F5547B |
| SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
| SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
| SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
| TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 38444 |
| MD5 | D1E87849D85BB0126461802075390644 |
| SHA-1 | 1A128D0BD293F7B001890A06338F94B41371E0CD |
| SHA-256 | 6C83FDDBEC3CE93F309D39E14312B34FC01E26B04B1DA57DA7C0FB86032BD446 |
| SSDEEP | 384:009omerTMzggTjNltlCH5+vT6QgBk2hJOui/Vlx2Z56ZsvCdWARcNbp/BPNcoXkj:hwIfTRlHCZ+StJNOsvN2k/ByMuAlo |
| TLSH | T181035C07F981C975F0A357F0148F9F744A318A3A9543C2F3B959A328F6915C8AF0ABB5 |
| 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 | 516B6368B35C1E3541BFECE73EDFF6C7 |
| SHA-1 | 6FDC2AE044FEE03334D0817B588E9FD8064BE0B4 |
| SHA-256 | E08B7B0604B0A341C53753584F2DFEFBE16EBEF5B668CD811F560F814FB54D6A |
| SSDEEP | 24:X1sA1t1LqiPUImtBW5B3ILa0xGAB1QBW6HPPTv8:X1sit1uicI2BS3Sa0YAB1+W6vPTv8 |
| TLSH | T18D1196FE40FEAB29F5C662153457B446916F5DB0E4C0447F60085F1D57A1844E833176 |
| 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/doc/python3-cryptominisat/changelog.Debian.i386.gz |
| FileSize | 240 |
| MD5 | 5430D2B24AD3AAAAD219F23D60C06984 |
| SHA-1 | 81CB6AB885803510207010F7C9ED2EC8474444FD |
| SHA-256 | 44ED21312B881AB7BFDD119984796B50F96571322DB94FF6AE03E525EF3336FB |
| SSDEEP | 6:XtJkvi/Nf37c3anBGheX15ly/nzTyegWrZqK:Xj37SaUkl5Yf3BLoK |
| TLSH | T130D09748C809E799CD29AB7D3BB410128C5B40C6327EFA018A2D090C244EA0100DC335 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 206484 |
| MD5 | 09F03846BC86D963DAB1DF0DC97E3752 |
| SHA-1 | BDBAF3AA22E43A15DFE1E9C81B2E5EFBC878C333 |
| SHA-256 | 65212546E044EFEA19A5E30B767353848EEB1B66813FF7A4C37F37F43519C03E |
| SSDEEP | 6144:YTfTk1wepARwHKQQQQQQQQ1XHQja9wtOnlF:awHKQQQQQQQQxHk+nl |
| TLSH | T138142A09E511EC32F0B381F214979EF14520AD748A1BC0D3FEE99998E167B949E1F7A3 |