| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 5909 |
| MD5 | A598AC1CCA4E5F0D636F285321A61499 |
| SHA-1 | D42F2FC18213AF455AAD4E07DEC9B97EB83F75CD |
| SHA-256 | E3BEBE31149E2BBDA9E2C9A0557F77107917978160086D33E39988B5353E01D3 |
| SSDEEP | 96:EyYZvz5mVwg7V7cfwOrkkHUs1Rr2v1LMvBv3+edKrf/83I2eX9bQeitgmng:XyzodOY41wvmV31dH3I2u7itQ |
| TLSH | T1E3C18E7B4C785C391B18A46CCA4B6AB46385F4B361AD695B68C7C70BB21C970576C01E |
| 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 | 95560 |
| MD5 | 63272CF5989B2B90EC09EB846CF61E02 |
| 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+b2 |
| SHA-1 | CF15CA81B44C40DB34F771C6B723E928ED0B97FC |
| SHA-256 | 543C1A23EB18C4FAF7A6147B4D091637DD8A421380A9B9C6A9E1735F3C9C6162 |
| Key | Value |
|---|---|
| FileSize | 83596 |
| MD5 | 2B28BEEDEF4751E8E79C70D8B88F44A7 |
| 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+b2 |
| SHA-1 | DA591158C3C86543989F38B2CD3FE4AC860E66D6 |
| SHA-256 | F4032C0BBCCF22EC00634EB002C6B2CA4779877519262294974020DEB76F3E5F |
| Key | Value |
|---|---|
| FileSize | 92420 |
| MD5 | 3E8FD2F5412F41CB80BC0B399F7ACF49 |
| 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+b2 |
| SHA-1 | 25F443AA0D6DDA3E6CD90AC9FD63E97B31F55408 |
| SHA-256 | 5CDBFAD30F7536828B303062EAE606BC32C979430C434947A3E8CD28D9E15D77 |
| Key | Value |
|---|---|
| FileSize | 86896 |
| MD5 | 5326F3B0754C669C963919B770E4C731 |
| 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+b2 |
| SHA-1 | 0D05BF9AE969166B11FC96A8B486ABF099CD9341 |
| SHA-256 | 45CB8401C3DD1890678DD71C52EAD811B33EA6BE923539E31E1457F2564CACBA |
| Key | Value |
|---|---|
| FileSize | 82196 |
| MD5 | 5B449017B118F171853B92DA1B062284 |
| 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+b2 |
| SHA-1 | 6B7A060E7512D9CC4777F362627263B57448EE5F |
| SHA-256 | D646ED0A6900A36813FA71107DD0C8D17CD7635C191317192D90F22B00BFCA1F |