| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 629 |
| MD5 | 728CF08EB6441655D30B70317C529304 |
| SHA-1 | E05036934ECDDAB1F19ECC9448C11F90F62DA1DF |
| SHA-256 | 8CBDF8E2567CC8786277748D4497762D817E90A17B3423D55755F3A08B3217FB |
| SSDEEP | 12:XUiPA41FoH16SzHQh3maxrb8VFXnmaA+RzqU2X23yk3W66xv41+srBx/VE+P:XUsAuoHDzH43hPEnmj+Reoj1rBx/VEi |
| TLSH | T13AF0622204370A1B832922897F7C59672DBA95A1EDB205CC85E419F4FCF3766E325C5C |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 96916 |
| MD5 | 01C49E555680DE16F4462C0030B4CA70 |
| 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+b2 |
| SHA-1 | 594A4BE87C315C1430AADADC8CF42D0B668FFB85 |
| SHA-256 | D09CCDD7003E7762BB766AF08FAC12F1B0631AB816750D39386F56FE1364FADC |
| Key | Value |
|---|---|
| FileSize | 90268 |
| MD5 | 74043A82E6CA98F923A345C0DFFBDB2F |
| 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+b2 |
| SHA-1 | 5C21EE4E0F8CB339C153807CCAD1015538BEE8C8 |
| SHA-256 | 7AB42A860DAAB86E9E7A2CB18AC0B30D3E3112C752C0EC2545F237370E38AB44 |
| Key | Value |
|---|---|
| FileSize | 86548 |
| MD5 | A90EF3AE1476FD067AF946C089B61337 |
| 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+b2 |
| SHA-1 | 1E4D62AEE8C87AF9C091604BF4D7A0376287E034 |
| SHA-256 | D45E00283158E94174340DFEE813FEE005B95033533C7ADB9E8138FEB97E6078 |
| Key | Value |
|---|---|
| FileSize | 88328 |
| MD5 | 55FA1AFCBCED4DEA4457E5B559D3CA96 |
| 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+b2 |
| SHA-1 | 9DB83C61CD769D29C61D96A09144148E27405045 |
| SHA-256 | 0578D729E6A57BA8171B8ADB01A54DEC24233FEEF2C16EE158A31B4D29815763 |
| Key | Value |
|---|---|
| FileSize | 101740 |
| MD5 | 21FA98662BF4F6A6CCFBC9113A83AF96 |
| 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+b2 |
| SHA-1 | 1B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3 |
| SHA-256 | 33749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D |