| Key | Value |
|---|---|
| FileSize | 81148 |
| MD5 | 779F38EC69D0378E98FAD81DFEF7A81A |
| 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 | 7964A5040E8D4C7985A82C85195CD91F7F4498C9 |
| SHA-256 | 94F9241D071704CE865A46E1E2230DEC703F58A913A1023A1534C473FE46720C |
| 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.i386.gz |
| FileSize | 223 |
| MD5 | EDA8A8D607EA763DBCA960C150CBD5E2 |
| SHA-1 | C452F593A7559AB5BE7675CFACB395EE312015C5 |
| SHA-256 | 35BA5BA3EA245129A9777EDCEC4BB4D99233848768960ADDA3FD79F33B74A49C |
| SSDEEP | 6:Xtuv9J4LhOcez8ghSuda8nyWyMOxtmJ+WlkfzbfH:XYjQuDF8ZDmJifXv |
| TLSH | T177D097322C8200BEC04689B00B0424C0631A22867A865ECF0CA906A20A8C0DA2F3F160 |
| 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/bin/cryptominisat5 |
| FileSize | 206484 |
| MD5 | 936AD532A830D75729AF06F5234E1371 |
| SHA-1 | 649AC33761765440158F404D45BEA73C121B3F37 |
| SHA-256 | D74EC1554652F92DA04CEEA3FBD364F7191CF9158459FB70710B23E2D9498CFB |
| SSDEEP | 6144:cTfTu1oepARfHKQQQQQQQQ13n39/dwtWnFZ:sfHKQQQQQQQQRntHnF |
| TLSH | T124142B09E911EC32F0B381F2149B9EF145209D748A1BC0D3FEE99998E1677949E1F7A3 |
| 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_simple |
| FileSize | 38444 |
| MD5 | 0186A383BD19324FE8A78640E329EF2D |
| SHA-1 | D7EB5A381EA2A8FDAC8A8CF1D501E47E8897F8B4 |
| SHA-256 | BFE7C9813C24BE0090845FBA1D1C6C56FC4E519689350FAE24FD70C27BFAEC29 |
| SSDEEP | 384:0g9omeHdMzggTjNltlCHJ69ta60gBk2yJnFiBl3yjtVsMChyARwNbL/BJf+cUGFp:Jw2fTRlHCp6ROJFMQsMN2E/BJOGwJY |
| TLSH | T19D036C07F981D975F0A357F0248FDF748A31892A9443C2F3B959A328F6915C4AF0ABB5 |