Result for 0494F5B8499852C250B4550590A93E6D48CFA706

Query result

Key Value
FileName./usr/lib/libpicosat.so.1.0.0
FileSize133128
MD5E2567F9995B71193C052C9FB8321044B
SHA-10494F5B8499852C250B4550590A93E6D48CFA706
SHA-25608045A6EE2371C04174063755873B0B35D9E93D3DFD36B33772F6E57C596EFD7
SSDEEP1536:B/mfeG3YY95dALPBKuMW6BijUtUaooK8OcC2/Xe:BQJBE2e
TLSHT189D33B12320CDF4BFB502C3B56CDAA917392794903A69DE6D541031BFFEDB29C92B849
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
FileSize115524
MD55469003740D1527228E43D909BDCC079
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+b2
SHA-1F47D7C220C804956EE7FB2BA107EC80409F1267B
SHA-256F4143B17C5C357634B0AF46160A5E7BEA3D75DA1C93C44B5B62BAB969AD601E4