| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 629 |
| MD5 | 1DBEFFBC15B0FE450D953FB281EBE97D |
| SHA-1 | 894AFE28D6649FCC4D8FA32922C35647A243221A |
| SHA-256 | 41096E2C2F9E8EBC4F601A2408628B24F0A45FFB138BFDD3532196A783F65A10 |
| SSDEEP | 12:XcmQjK7cLkKTLAH7KSGEjWyFLv7WJrWaUfxBM7aW2fvH/lRedir03DnH:XuLLNSGjqv7MWn+EvH//e0rODH |
| TLSH | T18CF06225C66C6748C16E47598B8E050BEE63166EF4C98B646F06F0FCE50A11F0E96988 |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 90156 |
| MD5 | CDE3FFDDEA5D77C74DEAA651FDC76B52 |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | 811D64088757BBD7B30DEC3E30133F4962142476 |
| SHA-256 | DB1269CA193E581E67832B067F6AEAB6DA16D47AD46AEF985C34322589B16319 |
| Key | Value |
|---|---|
| FileSize | 96608 |
| MD5 | 4F5DF49583B089BF668D4965B64B431C |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.8.0+dfsg1-1 |
| SHA-1 | D01CC4575F18E09F5314D3F7F3133A167366B2C5 |
| SHA-256 | E28BD96F10C7E8EE18A0619609F1FC567430BAA805EF6FFA14EFE14796A9ECC8 |
| Key | Value |
|---|---|
| FileSize | 88656 |
| MD5 | A303C873C1232ABD2F61B6AC0AC1FBC3 |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | C78183CB953249886C028E3B766601C34C11FBB8 |
| SHA-256 | 332B24A4CC44D339EA755D60258EF5F7B5F0D1A4B50574A4D2E39B32D143FB99 |
| Key | Value |
|---|---|
| FileSize | 97752 |
| MD5 | 3CF0DBB11603A6172BC08EE024A83195 |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | 5E530544369AFCBEB5A0433DD2023B5060E56A13 |
| SHA-256 | 4031935B2E91992235F7FB29E6E72AC15B6003B9B39F9194D72204F4EB06D60F |
| Key | Value |
|---|---|
| FileSize | 101856 |
| MD5 | 533FC5F1D8C0E2D85E35EF189E125E10 |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | 591C31EA61C236C7F5AC262D6AE7933084575D08 |
| SHA-256 | 8357222EF08E3C2F628046EF9864357AAFE9C72FF68D8F9F225E015AA37D2B62 |
| Key | Value |
|---|---|
| FileSize | 86644 |
| MD5 | BB0DA3E5874639DB2647075B7BAE984D |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | 39C46103709BEB4A477A2309E63FA42CC65C6C6E |
| SHA-256 | CACAC202AEC18CB4A7D1F35D7DD02E075C3E77D19B20F5B9230583EA4BD64ED5 |