| 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 |
| 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/bin/picosat |
| FileSize | 99912 |
| MD5 | 4D4FAE69191C4021EB831D7B8FC3FC98 |
| SHA-1 | 6B73DF028B464896A2F4FCD976202F0D2099ADA5 |
| SHA-256 | 075E56B3A0116B7A52CE095796230A128D67C3CE1B5D09020B055928418D322A |
| SSDEEP | 1536:BBOB+wUgpcRapxgakiVWYhMkITRWC6OWLj2uatTyo2:BBOY6mzTRSgVTyo |
| TLSH | T18DA37D86E743C8F1E7E342B6522AA77B51702B01612BF4F3F72A7B9C7571A02AD04365 |
| 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/lib/libpicosat.a |
| FileSize | 93664 |
| MD5 | FB1DE207772CC1DDDD48DBEBCA965330 |
| SHA-1 | 274BE13E9F70CBB944EEBA5752EE3D2564ACA851 |
| SHA-256 | 3A969445B45E115866D2E6C9BA39F2A9D4E1770F0A8DA0E995C63AF72127DF25 |
| SSDEEP | 1536:2Q33SRQkxPGTyVadCe66XA3PbOJE5I6SeFqH:5Yu+/6IaJEW/p |
| TLSH | T1BD936C96DE4789F2D6F20F701286937B70309B05120BB9B3E7BE7699B5B26113944338 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 104016 |
| MD5 | C1D5424CA57B7F72F1CB4A319A8167F2 |
| SHA-1 | D74BC75B6C5944EA95726BA5C45E15A9AC807FB8 |
| SHA-256 | 9ED742E82FAA6B8D6F636191AFF788528D82B1420A63AECD1186D40A350D0636 |
| SSDEEP | 1536:w5qMoag8FlfA7fI/uHjpINbjat0mQaiYD+WNICepYEL3gPrKjTyV6g:4uYgfI/etINbc0mQaiOveRGrcTyV6 |
| TLSH | T110A36D86E343DCF0D6A303B3622A937B51702701A13BF1F3F75A6B6D7671A12A914366 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.i386.gz |
| FileSize | 220 |
| MD5 | A33FD9C74A5BF9517CB54710A47F0999 |
| SHA-1 | 6A74A4B54361C4F2E8DEAB64D4EA5C8222B73700 |
| SHA-256 | 8FD87C0D957444959ACEA564D74671D4025C9994460529831060D7B212542578 |
| SSDEEP | 6:XtJni9Z+4sPsl7+kK5uqQpX360lIMAGSu/:Xjni9ZRxwkU8pI4/ |
| TLSH | T113D02375DD2454115C63C9F9A0B534C0071D2659710297C1E79CA51757D716C7E85050 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat-trace.a |
| FileSize | 98608 |
| MD5 | 970F3392B01C4EF210B949BC1BD9A490 |
| SHA-1 | F45BB74FEEB442C5B702B2B5F2038BE679211EAB |
| SHA-256 | CF1A1D63A690F54494701369B8A44C63F4B6A381408DC20C2A06E74CCB0CCDB4 |
| SSDEEP | 1536:1ag8FlRZ7fI9U5jlSIDbsmt0mQadY/i0ylvk36Tlqiol/hDqYIWs0H:DG5fI9yRSIDbP0mQadwCK3kqiu2YIs |
| TLSH | T1BAA37B4AE64698F1DAF21E706392C37B7430E7005157BBB3E7BEB999B871A11384123D |
| 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.so.1.0.0 |
| FileSize | 87508 |
| MD5 | 087FD9991EBF0BE7E4181680F43AC6D0 |
| SHA-1 | 774D92578282C1066A2CEBCC2BEACD573E7567AF |
| SHA-256 | 9B9BB0A2995DA6F22BE4ADF56899F7156C15FD125E2E7074BFBD1B12652D937A |
| SSDEEP | 1536:qqjgahWxrHMA74o+1J7wgULjVrL41/eIIJyYuA/bVFzurSrIfi/aCO:qqjnWpMUC1J7eP9M1mI8uA/32K/aCO |
| TLSH | T1D4835B93F743D8F1E7E34670568A973781706B02600BE5B3F72C6B9DB971A12AE043A1 |
| 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/lib/libpicosat-trace.so.1.0.0 |
| FileSize | 87516 |
| MD5 | 091DBBA9300F14751886B6D02C96C86D |
| SHA-1 | B2023613618EFB04803CFD0D85439809E0EB2027 |
| SHA-256 | CB34C5CB6BD624CA6AECF9CBDB0A9BA010C9E41F3C93ADB6B29FC41E43FAFF30 |
| SSDEEP | 1536:1GytFCjRjVjih01454hhs7bB/+i9oMaBQ2mv+DTDfdMuOeJ/aCOl:1G35j+0i547s7bV+i9okmfxMuOeJ/aC6 |
| TLSH | T1BA837B83E287A8F0E7E207756206937B82301702901BE5F3F76D6F5EBA75B55AD00366 |
| 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/bin/picomus |
| FileSize | 91712 |
| MD5 | F24E9C6DDC6ACD87C4F038091CCD5DB2 |
| SHA-1 | 23CE2E98411A2A4A2FE550190D9126B80E95E839 |
| SHA-256 | 5D04A728FA1523C44269E6C460B31636F6D1C5C3BC57FC53ADC7D3604ADB215D |
| SSDEEP | 1536:gR+4QnqNuJLRrxxrfzY/VCPJQ8541w9Wyy5QvR:gR+tRPHzPr5hG5Q |
| TLSH | T1D8936C92BB43C8F1E7E342B1560597BF85305B02611BF4B3F769BB9D7871A12AE08361 |
| 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 |