| Key | Value |
|---|---|
| FileSize | 98808 |
| MD5 | 93311232F6610C4BA32DA4760902426F |
| 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 | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 965-2 |
| SHA-1 | 1CA431766F13CA5E19B127588DA6747A8CACF213 |
| SHA-256 | EAA2AFC6A8E3C254716B008458B501EFDCC9B1C733A201ED8332AC0733A1B214 |
| hashlookup:children-total | 11 |
| hashlookup:trust | 50 |
The searched file hash includes 11 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/i386-linux-gnu/libpicosat-trace.so.1.0.0 |
| FileSize | 107904 |
| MD5 | 813888D857E4A17CD97702D83FDAEB8C |
| SHA-1 | 29BCE1310099FA9B5A25675202F1D396B5C741DE |
| SHA-256 | 95E950DA092A308B7F97ECD5FF073904EA5432523FFB8E4795551E34346F493C |
| SSDEEP | 3072:mJMe9qZIMqz9HEcEeWCmX0cBMTp0gm2frIqet:m92oxbmX0WM10gv8qet |
| TLSH | T1B6B35A9AF2A394F2DBE63BFD054EC30682394805483BBCF2FA99574D7876325AD18315 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/copyright |
| FileSize | 2263 |
| MD5 | 35FB311C449636AC14A4CC4D7BCCB102 |
| SHA-1 | 9868FDE9FC3E9366F9FBD137BE2B43DB6D375A5C |
| SHA-256 | 708AF728725AD4F6B0196C113931DDA5FD1D7F0066AE918077350EEFBDFEEC9F |
| SSDEEP | 48:BKjeA8hp0J7ZvET7QH0s5ANU3ouF7+mZciXEg6n7Z9:BKjZ8hisvQHFogjCGT6l9 |
| TLSH | T16E41D90D724083BB198127D1794668DDF33B73DB71BF45C4A04ED389A21687852FB8A4 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 120300 |
| MD5 | 4D9635BA06D5F6880CE3C769304A9954 |
| SHA-1 | 27BDCE087DDE80FA9C33362C11A08DFBA9CCD845 |
| SHA-256 | B8B46F1FDBDC1FD5F038CAAEAE6092609B7A12F118AC64EC91E4AC7115685DEC |
| SSDEEP | 3072:KLbjHbZfIr2NRk0+Z3Z71PbYNTJmLlEsXPsGrIgfH:K35/p+5J1Pb7EsXkzgfH |
| TLSH | T182C35B8DA7438AF2D78B3BBD596E970682352906443BFCF2FA1BA79D74623251C14331 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.gz |
| FileSize | 1401 |
| MD5 | 0A2F8E76BF4C336D50E4837C3D642219 |
| SHA-1 | 528F05F3CEACF8DBF340B4FC56CE7A1B8D2DA14A |
| SHA-256 | 3CAE90160DE83391F556560077ED294412337B56D0715826CC380E4FF61DCE62 |
| SSDEEP | 24:XGG7eKV3KYHUrY4fSv5T/fwtTsc7yFIJ3dM/cJv/piLm/nmvl1MNqW+0sv1:XDpxUrY4fccZs4yFO3dM/qZiafm9qNqD |
| TLSH | T187210B333ACAFDA9E5133175471B6D5E4910C012038664ACEC2F34DF64921370CC28C4 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picomus |
| FileSize | 108012 |
| MD5 | A5EDD0B9DC836288AB47D95E71329E0D |
| SHA-1 | 7017165596BEC047E51D1ABBA387B49DF0C5D437 |
| SHA-256 | 8BB8BAA539ABDA64CEA9E213DE781731F5A56A2EF78FDF6D7D8ECE944A227714 |
| SSDEEP | 3072:+4Z16NcEIAw7ccJhvZzIehsfj4gUcsZbX0rT:+4ZTAypRRhsfzUcsZ7G |
| TLSH | T1EFB36BC9B68288F2E7C77BFE066E8B0B96350E05442BB9F2FF19678D78253255C14325 |
| Key | Value |
|---|---|
| FileName | ./usr/include/picosat/picosat.h |
| FileSize | 28675 |
| MD5 | CA6B9E56BCE8C28E75AA6CA6C3A0AD11 |
| SHA-1 | 7554E74205CD7D766C4EA37C941D91D706444082 |
| SHA-256 | 084D86E8793A15B03A1F3A58C5DE87B45D81161163C81BB68C1EB51E4B897D06 |
| SSDEEP | 384:A61VHtqpqy0FU826C1Hym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:vxGV02Xo20wE6OtP909GqznHZj |
| TLSH | T176D27013AD452F3B4783E67047ED61E5D338D118726268E5B8BF528C6F8A891423FEE4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.gz |
| FileSize | 1934 |
| MD5 | AEF874D1B8EEF5BDEBEFB4839D52E124 |
| SHA-1 | 4411D20C33553D48D4678490066C2208AF4C4A26 |
| SHA-256 | 050BACC95FAEC1F8E9E8C998AF786DBC1EFF3FF0DA15307CA77F32A8BFFE7C96 |
| SSDEEP | 48:XTDaexAd2LtiRA0M5B+hXxJSwD1JVEK5paHRVJ:jOeykivqB+hXx3LfPoPJ |
| TLSH | T175411B88707175B5893C4A3C8053DEF94CB98792119B091C6FE2A8D0179572D77D8C2C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/i386-linux-gnu/libpicosat.a |
| FileSize | 126786 |
| MD5 | F533A117CD29E86285809F7DDDCB67BB |
| SHA-1 | E5078AF6863F28C3F083B01920CA664782754B7C |
| SHA-256 | 3057D74BAB12F7DEE37BBA67CB493DA49923E52DDB9B07B8475E91E670773AB0 |
| SSDEEP | 3072:2+ygNQI+ZMrCAZp2pYas7IH6rUMesNYXy:AgvrPdas7wvMeEYXy |
| TLSH | T175C30A6DEFC759F3C6FA2F74025A470B52B1688443AA7BB2B52CD6ACB5567103E40338 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/picosat.1.gz |
| FileSize | 1109 |
| MD5 | 4441230E4B5CBB6D54CE5271595F2FEA |
| SHA-1 | F1D6CC4EE513C45015C511B57C75D1CCA3EE7CC8 |
| SHA-256 | CBF9E8F977CEF317669027A02FEDC3DCD7300254F2D32F75E66EDFF61E46AFDB |
| SSDEEP | 24:XeEvQLb2qvQUiHbUu6pq4rTNirDSR47tdNW3zf2BjZwLrnNjqm3Y:Xesqv1sbn4rTYr+Kd22BjqLrN+sY |
| TLSH | T11F11E9441C5CA35DF723F4941282A27067EFF993B5F5A013B2F202D583080D9ACE25D6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/i386-linux-gnu/libpicosat.so.1.0.0 |
| FileSize | 107904 |
| MD5 | FE17072CA411848F921D19D79A82297D |
| SHA-1 | 3B9A42F05D46521E34AEE62291024EA68E0F28F1 |
| SHA-256 | 51DFFFB32C5C34C99D7D30A5028E3EFB7976CC6955EBEA0B04837024FB1DF2DF |
| SSDEEP | 3072:IJMe9qZIMqz9HEcEeWCmX0cBMTp0gm2frIqet:I92oxbmX0WM10gv8qet |
| TLSH | T1B7B36A9AF2A394F2DBE63BFD054EC30682394805483BBCF2FA99574D7876325AD18315 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/picomus.1.gz |
| FileSize | 821 |
| MD5 | 7AEB69EAB0C7478896263EF6BECCE2B6 |
| SHA-1 | DCCD3FE1798653C0686269334378FE51F93A3C4E |
| SHA-256 | 8F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2 |
| SSDEEP | 24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt |
| TLSH | T19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB |