Result for B1F2B1DBD35F3287518D84558E471380B9902250

Query result

Key Value
FileName./usr/lib/libpicosat-trace.a
FileSize117026
MD55A951A07BF714BAE023E5581F5B1D5DB
SHA-1B1F2B1DBD35F3287518D84558E471380B9902250
SHA-256B41BB4F7E82C4F7F3C59FEA90BB2857D3B48E34557D02A6503E766E23F12E2A9
SSDEEP3072:J+1ZXnIS7plrj7nlv3uHm7XOwOvhJogC:J+1FIS7pdjlWOY3oJ
TLSHT16FB3E7077652046FC1A6CF3452F9B522F638BC848B233977B295763E6F76F005E92A24
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize122050
MD5458999DADA3E5920A7541C4FB1CE8539
PackageDescriptionSAT solver with proof and core support Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamepicosat
PackageSectionscience
PackageVersion960-1
SHA-19AC3BF5F844DCA194F667528F63F682E7F27B8D9
SHA-2569F6C5E313522A3FCA97E5E2F76C99E6FA047A578939EACC83A74940C04E33753