| Key | Value |
|---|---|
| FileSize | 70744 |
| MD5 | 1F62679A6494E749935501D72181631B |
| 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 | A8B4EAB3E66174E6C2B80ADF463B44CD84C2D9C5 |
| SHA-256 | 26E922EEAA7BCFE2CB87B78DA8F5910906E6AA052CC700490BB06C77E813857D |
| 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.arm64.gz |
| FileSize | 222 |
| MD5 | A53E276CF6C5605EF238E3069F83A504 |
| SHA-1 | E1660DA1FD774FE8C025F2ECF4A21220E16C6F2A |
| SHA-256 | 1A6DB41F301017BAA3D91F80B054D9A25328CFC8979358B6938CEB7F2A801E74 |
| SSDEEP | 6:XtWmZvsDfU8e8pozgEhQm+GidT811qTfx4hU9cke6KmfN86IjNMctL:XAmK/ozgaMGUiU9ck1K62V |
| TLSH | T186D023B1045FD13AC7D8DDB4F7013C49331F21334454B821150D033313402B01C5C68D |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 264552 |
| MD5 | FA4A69FEB80FE93F590EB0B658B06295 |
| SHA-1 | 33CF9FA66C09360C905FC40568CC65102319A810 |
| SHA-256 | 7D69109EC436C7FA13FC864749F8185E48BB8236FD10687CCB701BDFAE0F6B5F |
| SSDEEP | 3072:Oq429AcLeRVjxLMQ93hu6MbBMjsoecsUAx1xD4fcn8Sq1Ib9:LleRVjxgQq6Md8shjvsfcn8u |
| TLSH | T12A443B4AED4E2D23D5C7A27C9F8B437273276488D32280927569821CFBD7ED9CE79610 |
| 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_simple |
| FileSize | 67760 |
| MD5 | 78B519F948C0EA847FF1912D5D21A527 |
| SHA-1 | BADC500A03892E6C7C8C7995F8AB3B53FDBCF309 |
| SHA-256 | 43417DB864A183EC3BDDC42C615C07193D7EC5DD8421A01C43CF4697E160EC2E |
| SSDEEP | 1536:tdmBYv+18jipwXWdUraRIfOFsTy5gHmtEyv4IXci5slnay3:HM4Iyln |
| TLSH | T145633B99FE4EF82BC543973C67C653A1FB335C8DA31691D2311C420D9E8F98A8E76189 |
| 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 |