| Key | Value |
|---|---|
| FileSize | 86036 |
| MD5 | ADE7056984D5D6303BF72557FF4ACCD3 |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | 2BB1B6A79CAC5F8CE35C93E37DE5598E415075CE |
| SHA-256 | 5121139F44014A9A4D3E1F947DD1ED455433DE39F947CB0B65FC308D4DD79A1E |
| hashlookup:children-total | 8 |
| hashlookup:trust | 50 |
The searched file hash includes 8 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 34400 |
| MD5 | E30AF488C4D14CE660841BCDEF9F61E4 |
| SHA-1 | 1443EC3D4FF74F408BEACC72628E34534CD45003 |
| SHA-256 | A7294A77A4B471132D01DE61C667ACF4FD9206D4278B6A6717730D9EB5788655 |
| SSDEEP | 768:yNRv9GyV2p/3Wm6crKX6YpURhg41O2gIkL/nItEqfRx6gDrBk/BaE:8v9pCPRqu1kL/nI9fRxbHf |
| TLSH | T158F26DD289DB7D73C4E6A7BCA0776E016A73D89A858A4F04E0C8454826D38DD2E7FF14 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 599 |
| MD5 | 2F501694BDFC0FE97563BECC83CF587C |
| SHA-1 | 50AF60EA49F6B3267026C9B93FB4A4DD27247EEC |
| SHA-256 | 779F5D2F2F433D5CEC30FD8B44BDF3BD214C4EDF39E5FEA3AA517FF892DC457C |
| SSDEEP | 12:XvbpYjexOQzHhPk1UGrRsac2TloDGA6aM/VRhRiw4+YqT5LhRGi7tRt4Q:XvbSe3BPkUORMUoDGBayJ4hqTBhwgt4Q |
| TLSH | T145F047546621BE1269CD09B39D22AFBCD1B691DCCD11C517041F43DF9BF6668DA2C006 |
| 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 |
| FileSize | 173720 |
| MD5 | 333438AD088047EDDF7C06AC32FCBF04 |
| SHA-1 | 36053AF108C3070EE0E5DF4A64F2B0B39EDF0ED4 |
| SHA-256 | D0D290A90F1CCC6C5C2A00147967967094B87A8C8279AA4E9AC6E8A71A1EDD8C |
| SSDEEP | 3072:aBGbnJRIwkmCumafxitC1TQQJfF3+UzixdtHD85MIszXeZMN93u+zLv8K56kN4X1:aBkJRIwkmCumafxBN3JfFOUzixdtHD8r |
| TLSH | T1B0047D427D838DB3D8C306F4705B1BD555B2ACC11AA6CB96C848887D4B63FA9E43FB94 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 6057 |
| MD5 | E551BB977EF1018E29CC5924C236826E |
| SHA-1 | 57EB1C8F0E602EA2B5E5A468E4F1B7483CC9090F |
| SHA-256 | 3B85BF2D6B49D550693FABED2A1E3C6612030807A26295B080DC2395B45A7488 |
| SSDEEP | 96:Tj3kzRxMZsFZUo1qWUj/M3p3G1ccgYK8qaY2J3IlQogyYZWUcaNk1PScEA3h4vNK:X3YieUo1qcp3G1cD0talgyYZWUcai1PP |
| TLSH | T179C19FD5127186E6BC681010D59A19EC85068F1A9711F773C6F2708EC286A7E73E83EF |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 627 |
| MD5 | EA2D823E2D19F982C75346C60E724FA3 |
| SHA-1 | 8C806330BA0E2631E4B6F605C288ABFB31731612 |
| SHA-256 | 1B6449412CCF4E6A77AAD426EF58A0A833BC729EF0B656611023BED27E43B0A9 |
| SSDEEP | 12:XcmQE7cLPb8LAeVcQjqK29sMxnUz9G5AYllh9udbcz2psa6ogIM3pyd9:XUz4LdVpZ2vnZAYficz2pGOf |
| TLSH | T1EEF068067E85E3514B012B64843C55DD86F45F3319F94128276093AE7F2DAE7F6448E8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 6084 |
| MD5 | D52F194ADE4BF736E9DE7FB919995FFB |
| SHA-1 | D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3 |
| SHA-256 | A9CA9F2A763FDB0B85B958A82957B9C7EF3966E8963D63BFBD389A0ED0DA74E0 |
| SSDEEP | 96:RspA9Sig0URHtRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9GRHCsDeOFQH+JEQHFumu9 |
| TLSH | T168C1B5683E408332089003D36839D595F27B3257B665F988BE9CE2495F17A9C57FBC34 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 215 |
| MD5 | 48706E4B90212F32A233B45945777371 |
| SHA-1 | 4EC0009D8D76CBDA809136D79EE99B4D73D04353 |
| SHA-256 | 62479D3A7F6201644A76C2AE3AEB913F586E02B96BA19A8895680CAFE7E7A5C1 |
| SSDEEP | 6:Xt9GcFaNHSo8gvO+EfdERofszlzU+5LgBK/in:XeNyo8g2+2aRoylzU+50BK/i |
| TLSH | T116D023E5342316EBD2D442316DC094415DE944437653BF923B590F14FBC45C55953107 |