| Key | Value |
|---|---|
| FileSize | 93380 |
| MD5 | B57E2CB0D2F46B10C968C0EAEEEA11C8 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 965-1 |
| SHA-1 | 10F0932201CA39007DCDFDA69288A9CD03EBAAAE |
| SHA-256 | 42FCF9358FBEA06EFF023BFF6D493B2CEAF83121E91A7214CC8ADF51D6EE477E |
| hashlookup:children-total | 10 |
| hashlookup:trust | 50 |
The searched file hash includes 10 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/picomus |
| FileSize | 104760 |
| MD5 | C32B1FADC9652D4BC9BE954AC9C08D02 |
| SHA-1 | ACB0FE4086A8C587D7F44F2FCF5FAD08DF72C24B |
| SHA-256 | A286103336BA9A508ADC5658B849393B5CE22FFFD790046FB0AE895810A87828 |
| SSDEEP | 1536:J3YkFYTx/ApoUmdWartL5SC2/sUKVJ6fH8GtkM3SMlE6uR6bCqAKb83fm:JokFQxc9E+kUKVJ6/BZ3dOqD83 |
| TLSH | T105A35B1BB15208BDC19A9075CBFBE212D630781813313B7B79A45A353D73A309E676BE |
| 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/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/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/lib/x86_64-linux-gnu/libpicosat.a |
| FileSize | 155368 |
| MD5 | 10B1128E72FB3BE10DC06A0C73F98761 |
| SHA-1 | 28B0C68FEEBD6A9E7527D854528B2A233AC7DCC7 |
| SHA-256 | DA263FD88AB2A5163140A5E559C1FB3D4E7698AE8B7E1C9D3541FCF89D48A410 |
| SSDEEP | 3072:zkUphx/99b6Q6b31HAm8k18w9/C1m+gSwmAo0h:zf9657dAm8kbymd1h |
| TLSH | T118E34E47B553146FC6618B3085FA9120F13FBC888B2B75B3B25A369E6EB1F108DF2558 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.gz |
| FileSize | 886 |
| MD5 | BD963090068A8261A4CF48FDE88B930E |
| SHA-1 | 4CC7257B80DD5BA507BB01BA107A00AC6253DE5D |
| SHA-256 | 8226A53138AF94416569CD372CBEE04EE302C97D3E911B69847637F1762473A7 |
| SSDEEP | 12:X1T+I+9t9cbeZYlnyahtqU4t97oQuTeNgJ3Tt522kbfIRCsGw/4946D4IQ00G:X84eynThtjuo0NgRxN0TFdB3 |
| TLSH | T1C0116749DDF6547680B79414F065A7DC61E1C9E6FE0E711A911438F8C7C74E935C4224 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 112952 |
| MD5 | 0D1C56DD35FDD9555E2C5E4F15A8B3C7 |
| SHA-1 | D3ED4E3E00247B78987E308F2BE95B58E3B304CE |
| SHA-256 | 0C2F18F288BBE6E9D98E27E1485FD28FDDBE5E5AD0E25940C600F579AE2460FA |
| SSDEEP | 1536:DREndkLD2kZAmdVab2350XN3fWb67B+6tkM3SpAAs1yyo/KGZZbb8lhCltum:DWndkLZiesXZfWb6VzZ3/I1KGb8l4t |
| TLSH | T116B33A1BB15208BCC596D474CBFAE222D530B81413313B7B78A456353D77A30AFA677A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0 |
| FileSize | 104944 |
| MD5 | AD385A931FFA104F67FB0AC269DB0BCF |
| SHA-1 | CA68D8C82067C6F9DB2069C1EB7407C813B30D15 |
| SHA-256 | E15096227FBE63B6C4558EBFE68F6C79E8A4B10C7825039B7C1D204AAFCDB6ED |
| SSDEEP | 1536:qnJCkXcDEU0tmdPJiSqch5o9OhqJOSfXprDVEX8FC3TSb4F7iGOyGFIgb8lcXVVl:q4kXmauFqvRJOSfZrRPK0pfz8lWV |
| TLSH | T1A7A33A17F1520C7DC1DAD434CAEBE2628634B81403313A3B78A596353DB39749E667BE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0 |
| FileSize | 104944 |
| MD5 | 864CC272662D0BD2AAD8654DD7DDCBC6 |
| SHA-1 | 924E90AE47FBBD5515053435AD984BB444B326B0 |
| SHA-256 | DF0AC6F1896E1FBA19FAD435B2B63560CBFBAEF58E5A65893844349C2F636D9A |
| SSDEEP | 1536:GnJCkXcDEU0tmdPJiSqch5o9OhqJOSfXprDVEX8FC3TSb4F7iGOyGFIgb8lcXVVl:G4kXmauFqvRJOSfZrRPK0pfz8lWV |
| TLSH | T1D0A33B17F1520C7DC1DAD434CAEBE2628634B81403323A3B78A596353DB39749E667BE |
| 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 |