| Key | Value |
|---|---|
| FileSize | 84136 |
| MD5 | BC0C33CA3BDCB55CA33BC7750A6C4A08 |
| 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-2 |
| SHA-1 | AC0D16835FD4E949F78D94BB88B79F39E8D4B6AA |
| SHA-256 | D57933F25583DE61D294153EB2F7FF24C63391BFACAC92566566F929D2A82067 |
| 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/lib/aarch64-linux-gnu/libpicosat-trace.so.1.0.0 |
| FileSize | 92080 |
| MD5 | 1C30BC80BFC5339AA030EAA4DE2CCF16 |
| SHA-1 | EAA2C708D0698465C41E6338B63301F635C4CC1A |
| SHA-256 | DC0F140FDFFE14310309EDB9477F1725199DAFAD63D2291E24813B1B1FDFE661 |
| SSDEEP | 1536:Jxf0gCjB/qoY189qB+0wJlsg7XF2by4GhfeXQDfLXbBrw9ETw0tHi7/D6:J14YHO9qB+PJljIby4GhfeXqTrmr0tHl |
| TLSH | T107935B8DEACEBC42E6D3F23AF28502B1B6273978933737867610136EE55D76D81A0131 |
| 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/picomus |
| FileSize | 100440 |
| MD5 | A0855C79FB82D4707E372C6B0A18C93B |
| SHA-1 | 2E11F0337BC206487FAA7243C112112F2405E6A5 |
| SHA-256 | 707E2EB1A6BEFBB3895163BAA85338092450DC2A415EAD503C0365BB8298ACE5 |
| SSDEEP | 1536:O8uSrTBU4uc/YPFrIxKSaA6x8m03w4qOA+cC1cGD/KA9iTw0MMFcPXd:OXKTvu9aKSaAFm03m+zc0Xl0MMFcvd |
| TLSH | T134A36C9CDA4DAE43E687F239D18007A2F617F4B8A23F32467B5213ADA1DD557CE70221 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.gz |
| FileSize | 1008 |
| MD5 | 4197C8161ED490025CB8FE872919D157 |
| SHA-1 | 398DC8698E49D0957B8231163AD3D081BD37A8C2 |
| SHA-256 | 8691AF7CBF605D354BA878300E86EBC590780B361ED22FD3D48E4661CCFB9434 |
| SSDEEP | 24:Xq0uAWGKqm1LaqxhWTog0X7wY8YsJ6WnXq/Mj:XqPx5x88l7ndoF6kj |
| TLSH | T1ED11CCCB5D79CD407D110F84A88BC10A59806FDB6398D3DFED818B943302C94E04DC58 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 108632 |
| MD5 | FBD4E3C16D6EE5C16A0C0D8D0275974E |
| SHA-1 | 39D6E6A967CD0BD3135E32318D3295845255C745 |
| SHA-256 | C72FABC4CD034672EAD59DDFCED697BE4273721D1B8AB7DEF29D241E2551EB33 |
| SSDEEP | 1536:NTaqjgECnr76Ge+/c1HF1nk5SK2878m0Jw4jC/2H/Jv/IDNCMkaV9ETw0teFHo:N/jgESvg1ly5SKxYm0JAev/2pr0teJo |
| TLSH | T16BB36D8DFA5EA8E3E393B23AD0474AE1BE17B1BCD2372182395113ACD39F55655F4220 |
| 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/aarch64-linux-gnu/libpicosat.so.1.0.0 |
| FileSize | 92080 |
| MD5 | 1D0ED71905D5B2D5084FBBC4CD995B99 |
| SHA-1 | B2655AF6D8787711989F31ABF536365088EADCF0 |
| SHA-256 | 5796ED47FE65FE171527ABD306FAF638C86C84064D152C7A0EDA82FDBB83820D |
| SSDEEP | 1536:Ixf0gCjB/qoY189qB+0wJlsg7XF2by4GhfeXQDfLXbBrw9ETw0tHi7/D6:I14YHO9qB+PJljIby4GhfeXqTrmr0tHl |
| TLSH | T160935C8DEACEBC42E6D3F23AF28502B1B6273978933737967610136EE55D76D81A0131 |
| 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/aarch64-linux-gnu/libpicosat.a |
| FileSize | 167944 |
| MD5 | 915E45456DBC2EC05EFC4A7EF3353821 |
| SHA-1 | 88F8B016DE70EF9A8F3F24B2A3229FD27ED0AFA3 |
| SHA-256 | E359CFEF992FF7B432A6A913621450DCDE446663FDB9C8AA40B732B78386B605 |
| SSDEEP | 1536:RfdnUZUOcuFk+/qhSVG5r8m0cw4hss1LO4NADmMj9ET90G+U1k4Clhdro34S:Rf9IqwLySVIIm0cTNeBm0Gj1K9o34S |
| TLSH | T1AAF36EDEBED79842D6B24838FCB50730A563E0EA61CA876FD22C123467D962D9FC4710 |
| 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 |