| 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 |
| hashlookup:children-total | 14 |
| hashlookup:trust | 50 |
The searched file hash includes 14 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.gz |
| FileSize | 1824 |
| MD5 | 4AF6238995D6C3390C4DE4729D5A2804 |
| SHA-1 | A35BAC81E666D0C5139903AA2439B633DA6374D2 |
| SHA-256 | 3FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161 |
| SSDEEP | 48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot |
| TLSH | T1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat |
| FileSize | 107404 |
| MD5 | DEE6C6C08A67CCBED5DCB7EB3C53EBDC |
| SHA-1 | CEF2C89485C26DF2E0685E0F8C43142EE8C4443D |
| SHA-256 | 1A4CDEE60A6E426E5935241BFA0BF6297305931EE3E0D79E3F3F663A2E5D386F |
| SSDEEP | 3072:OPYrSKBCYAS0lVpegNzn5CX/7JlgmEnYj50nW3Ip/6RXKe2AUPXqmgmRG6T9ka72:OArSKMYAS0lVpegpn5CX/7JlgtnYj5GI |
| TLSH | T1EFA33A06EF544EEBC5EFCD300A3EC70656EC998B51A591A572FC8B9CBE8A6094CD34C4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.mipsel.gz |
| FileSize | 216 |
| MD5 | 8CE83749BC30CD64C72AAC2100AAF069 |
| SHA-1 | 99E74522249260C7C77F1C4AB649F1672D76313E |
| SHA-256 | 15923D7A79CBD27C61C8E1CA2CC98B66B47BE0A2FE837F285FE68FF14C9EEF4F |
| SSDEEP | 3:FttcE5yxX1QY1IkO95TxWdSY+3ZtQzSGL6FKDtwFmmxwLMsW2x3GOKcdzU9MWk8h:XtcFxXSYWTMlZLzxyT32x3fd49X1Tp7n |
| TLSH | T15BD0233441C95017C311FAF9FD46007A7526D5750580C3C64D9EBA744F4B3646549685 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat.a |
| FileSize | 112838 |
| MD5 | C96F42A25184B7FAE19717D4B9C6922D |
| SHA-1 | 96E0244568DBBD6C5778D23CC558EF4AF2B19F1E |
| SHA-256 | FA51A39CEF8C73B0EA510BA9FFC0AA5C9241BF77D8617B5AF11D97920D28DF94 |
| SSDEEP | 1536:HhRHe23/yjNvRpoTGthj5w4vYPvbuKLOvDy/Qnajgsv8Ny/sandcPRfshNp:XYsTuh5w4vY0yUsv8OuUv |
| TLSH | T18FB30C07EF709EABC4DF8DB1497A4302219DFC8351A36BB772BC968DBA4A50C6C93154 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat.so.1.0.0 |
| FileSize | 90848 |
| MD5 | 64CF6683B76E6D3A4310975DD14FC2AC |
| SHA-1 | A0178FA644CA63B8B876E3720A350245B1EC2C6E |
| SHA-256 | 4F37FC48454679EB2C70C8E18FFC4455A76D3D6CFB3E44B2AB0700FF953CE604 |
| SSDEEP | 1536:3/BUbTdkVF6vD7QRHWpdoQLpMRQ8eSNU4V7EicGoSHrU/7NijxWwacovXKsfHF5w:3pUbTdkVcvD7QRHWpdzlMRQ8XNUs7EiF |
| TLSH | T1E0932803EF648EEAD5DBCE30063FD30616DC89CB61A5A56573FC8A9DBD9A65C0C83490 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat-trace.so.1.0.0 |
| FileSize | 95128 |
| MD5 | E1260505B584FB94E71464F89716622E |
| SHA-1 | BB5F3F9AF8E55CF69333E0F6608638F6DE52FE71 |
| SHA-256 | 4ED6A8EE881CA4C571242AB39A06A19CA09666A5A2D1E21F9B5FCC41E5A2282F |
| SSDEEP | 1536:U/ErPiVqPPCKNos5jajqvmNHJH3iETwylQEq9LfoISmywcZWGEjkKcfjWpAihUHf:U/ErPiVqPPCKyscUciETwylQEq9LfoIo |
| TLSH | T18B934C03FF658DE7C1EBDE30166FC20115EC99CB61A4D266A2BC868DFDEA55D18C3884 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat-trace.a |
| FileSize | 121114 |
| MD5 | 7658A857B651017A40AE7351A19F87E3 |
| SHA-1 | 12E3C251731792B24CEEA09941322A8D2897394E |
| SHA-256 | 0DD164D2A8B5DB4BDDDC2D4115B3FEC8BC55348A6711A7054D247586BED17E16 |
| SSDEEP | 1536:9v7Q8i/7TyJubGa1GrpfiSTc5tKHENgeeXB6N79Qpf6sE5HO+qnL+b:94bG/rpfbAtM0ekjU655kI |
| TLSH | T17BC32A06EF704EA7C49FCCB1597B430320ACFC8711A6ABA362BC969DFA9951D3C83554 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 112180 |
| MD5 | 37A03437ADEA36FE3CED0439C33F1B30 |
| SHA-1 | 3EDE3F67759476AE2F8E1DFD27B50ECD860BE693 |
| SHA-256 | CB8E6861AF505789E42FBF314A1651F05D0F72D16882473703AA2756BCEC591C |
| SSDEEP | 3072:aPL9XZRpOs46Je1gBSEOlz+A2MkV+f94SJRezC/f95ilMdH5t4Idn0pvfxAcRcAe:aPL9XZRpp46Je1gBSEOl6A2MksV44Ree |
| TLSH | T15AB34B07EF508EE7C1EBDD304A3EC34611ED9DCA62A4D275A1BC8A5CBF9A30949D3494 |
| Key | Value |
|---|---|
| FileName | ./usr/include/picosat/picosat.h |
| FileSize | 28293 |
| MD5 | F684208BC50D016E0393EA2D4E7696F6 |
| SHA-1 | 7792DCC7ED455D76A7341D6D1FA720D82773FDED |
| SHA-256 | 965F8A8043328D3C3A973F8DA14FFC6AF0423A6609931D261BFB97B9A4F98C6B |
| SSDEEP | 384:B6WVHtqpqy0FU8P6CAym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:AIGV02Xo20wE6OtP909GqznHZj |
| TLSH | T192D27113AD452F3B4783E67047DD61E5D338D118726268E5B8BF528CAF8A891423FEE4 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picomus |
| FileSize | 99712 |
| MD5 | EE1D3C8A28AA0E0B5884AFEB8CAE09A6 |
| SHA-1 | 6C0C2D31CF4A07E88AFB97738415B2BB6CB806CC |
| SHA-256 | 2489F702289F4E90F479EDD6A4DD2EDCE77D02514BFD121445B603CB96528A8C |
| SSDEEP | 3072:V1ZHleztUQoE+67npfeeBcbo+c7EHtH3HXc8ndMpU6Tgx9gzlr19xHxWGVsayPAM:DZHleztUTE+67ndeeBcbtc7EHtH3HXci |
| TLSH | T1E9A33B06EF548DEBD5DFCD30063F830696DC998B51A5A56A72FC8F9CBE9E64848C3480 |
| 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/share/man/man1/picomus.1.gz |
| FileSize | 821 |
| MD5 | 7AEB69EAB0C7478896263EF6BECCE2B6 |
| SHA-1 | DCCD3FE1798653C0686269334378FE51F93A3C4E |
| SHA-256 | 8F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2 |
| SSDEEP | 24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt |
| TLSH | T19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/copyright |
| FileSize | 2263 |
| MD5 | 7E50CFFB73F8059D45746CD9E4BD4033 |
| SHA-1 | 124824533233EFFD0BED6F37C4E0A6AF9B29E429 |
| SHA-256 | BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549 |
| SSDEEP | 48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9 |
| TLSH | T1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4 |