Result for BAA3AC0C4183CDA00731A5B892B05E9F5DB88BED

Query result

Key Value
FileName./usr/bin/picosat
FileSize90232
MD582CCF3F91650156723E2756C4D139938
SHA-1BAA3AC0C4183CDA00731A5B892B05E9F5DB88BED
SHA-256653CF4375FEC9BA120D6BA9C2B683D02E8DA6135FB2BD24C0B2CA26E15B18F97
SSDEEP1536:MMorRUfc5v49UjUWRCM+G0nVTH1SqxiLXQiAaFW4PhfuiCrCjoYO7N:MMotUO49PW8E0VTgqILXP0ANMCsx
TLSHT13A931987AD018B66C2C13BBBFBAE435833231B3CD2D972188D351E21F3D759A45B5A52
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
FileSize113690
MD551652A4127047680A347DB3E9DC8DB9E
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.
PackageMaintainerMichael Tautschnig <mt@debian.org>
PackageNamepicosat
PackageSectionscience
PackageVersion960-1
SHA-15875BB59629D635C5EFF610B32BA59578773E133
SHA-2567A78A166474EB7479C9D98C4054361934AB38B96610E872C3E195820D177A06C