| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.gz |
| FileSize | 969 |
| MD5 | 5F86AAA0626045ADFC13C3BB6A3AA6E1 |
| SHA-1 | 679207B4AB07B64A904C5E37FFA9D8A681ED47F6 |
| SHA-256 | DF20C012AB2891A953AF1100524B36C0CFBBA57E5583C6F2B787A2FEF375EDC8 |
| SSDEEP | 24:X84zqQtQiFizxArNunqvpmcmd4e9HiVVNk+8Y9xp/:XgiprIuIc1e9EVlJZ |
| TLSH | T1A211C891F4336E47C2B025FC783E6B4580BE219C251D1F30CD96A384C69AFA9D5DF54A |
| hashlookup:parent-total | 14 |
| hashlookup:trust | 100 |
The searched file hash is included in 14 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 128550 |
| MD5 | BE62EF9120E7B00C49F2587CC660988C |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | C958DABA0994C4E49E811136A4A3ABFEE26FB90F |
| SHA-256 | 8EF088B604D88027674CD43A395DD7BB558C78A5B2FC87CBD1DA408485A62404 |
| Key | Value |
|---|---|
| FileSize | 130068 |
| MD5 | 4E4F2DF03A1138B0457E58DBE96C1314 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | C805627587FAE0D71B5BAD16FEB21DF581A27EF1 |
| SHA-256 | 3E20294B5FABCAB6DDCB752E9D1D7B718ECB3BB043641791024A1ECB6C45C643 |
| Key | Value |
|---|---|
| FileSize | 122972 |
| MD5 | 55A43DD809E505F175F0D913E489602A |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | C11248A708DD0C38D637ADB3299629519CF645B9 |
| SHA-256 | 9FF25EBEC977C957194F527645131FEC70DB232CE8B46A6C3332F114E58ADABB |
| Key | Value |
|---|---|
| FileSize | 131500 |
| MD5 | BFADFA0A135206A2D61BB304076C886D |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | D55993F5B21842EA2AAF8A71E485E3C8FB5B432A |
| SHA-256 | 36AC89796939BA31555FAA632C74D519BF5FB446925E4ACCE8491CC18187678C |
| Key | Value |
|---|---|
| FileSize | 105192 |
| MD5 | 46AF4BC46623B7A45BBE378CBBA0EABC |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | E2A2FEC75493AE1D1BC75653DD82ED4C09935E0B |
| SHA-256 | 1D5F5ABB2D322AE09CB55A006FB1D3019B6EC433D922ABE83BA1AFD2AC112AE3 |
| Key | Value |
|---|---|
| FileSize | 113690 |
| MD5 | 51652A4127047680A347DB3E9DC8DB9E |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | 5875BB59629D635C5EFF610B32BA59578773E133 |
| SHA-256 | 7A78A166474EB7479C9D98C4054361934AB38B96610E872C3E195820D177A06C |
| Key | Value |
|---|---|
| FileSize | 132754 |
| MD5 | A7C138A6A147CC56EF6B087B6E020C0F |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | 1FECC8E148D808D11540A31BF807D6CAE77B635B |
| SHA-256 | 1DC8B37E71C945CE6533043D34F9A97C9E8B04A98CB0598FFFE974CA49DBB5A9 |
| Key | Value |
|---|---|
| FileSize | 122672 |
| MD5 | C9D4FF2878F5045721D0819B8FECABD8 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | A9802E3F06C0B3EE41361A3854355FFD4060BDEC |
| SHA-256 | A2D7346F6E95465C2DD4A872B52928E5385F9E4054330CC009041494800F64FD |
| Key | Value |
|---|---|
| FileSize | 148766 |
| MD5 | 850952FA71CA71B925EBF905629590AE |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | 6562E6278DA38B5F7CFC49ACC602F26B1F898254 |
| SHA-256 | 7D97A74062B3FABDAB0A72FF940740EAB6875E797649D3B03B0BA424CD2A9C34 |
| Key | Value |
|---|---|
| FileSize | 105404 |
| MD5 | 1CEB2B8FE09D9452012D059746C3020B |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | 9A1FEA4C7F0782E614C9BB55C4DCD2486B477502 |
| SHA-256 | A33716C5F2D40A100C46F188B8454ED6F4ECE2DFE8298A6764795B91A4D3CA99 |
| Key | Value |
|---|---|
| FileSize | 99640 |
| MD5 | 5DD6E97544679E33C57A8A999D5E7980 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | 13A1706210D72B4F45993B97CF25E50E6675BFD4 |
| SHA-256 | 7A3F5E78F2A45D2BC93F94A55E55BD0A4B05EC0EBA04073D434FDDD9D5A48BAA |
| Key | Value |
|---|---|
| FileSize | 112930 |
| MD5 | A2663EF7EB36F669CE18B26FC2BA3FE8 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | 332CCA54D12EE28E2EEF648A6A5F706C021194CF |
| SHA-256 | 60FCA7C7481E1DB2D2E1205EC078FA434E36D474062F4BF40AD278989797F0F6 |
| Key | Value |
|---|---|
| FileSize | 114238 |
| MD5 | B3EAA7226FB5B8E58B80ACCEC7C7100F |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | 83D02774C62CEA75DB1F21F926287DE597D43D0C |
| SHA-256 | 044C89A9B52B73552ED824D221CA7EFA65EEA8B7C7DED828721285A1FA0EFEEF |
| Key | Value |
|---|---|
| FileSize | 115524 |
| MD5 | 5469003740D1527228E43D909BDCC079 |
| PackageDescription | SAT 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. |
| PackageMaintainer | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1+b2 |
| SHA-1 | F47D7C220C804956EE7FB2BA107EC80409F1267B |
| SHA-256 | F4143B17C5C357634B0AF46160A5E7BEA3D75DA1C93C44B5B62BAB969AD601E4 |