| Key | Value |
|---|---|
| FileSize | 131500 |
| MD5 | BFADFA0A135206A2D61BB304076C886D |
| 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 | D55993F5B21842EA2AAF8A71E485E3C8FB5B432A |
| SHA-256 | 36AC89796939BA31555FAA632C74D519BF5FB446925E4ACCE8491CC18187678C |
| 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/lib/libpicosat-trace.a |
| FileSize | 163314 |
| MD5 | 76F469DEF60E2D0312AA5D02B918610F |
| SHA-1 | 37ADE0C1866ECCAB76D657B4142D0F8704E0DDC6 |
| SHA-256 | 6D7DCDC431B2D137A65804EB8124936757A50FE61D35EC765F6F4DABA3031E5E |
| SSDEEP | 1536:ZYc9sY7PkeIjS/4SiE2ZdfqnEwzBBvmj5LxPSifWfZwuh+LLGAZoHHsAk3eLrtcR:ZYGI5Um/zSJzXsd6hp4Lt2Y3OrT9K |
| TLSH | T1E9F3F846A7081F8AD1B9CFB2485703BA032DE9D663534F2BE2AC546DFE4721C7F4A542 |
| 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/changelog.gz |
| FileSize | 1824 |
| MD5 | 4AF6238995D6C3390C4DE4729D5A2804 |
| SHA-1 | A35BAC81E666D0C5139903AA2439B633DA6374D2 |
| SHA-256 | 3FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161 |
| SSDEEP | 48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot |
| TLSH | T1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picomus |
| FileSize | 102184 |
| MD5 | E9385D0FD3F7519B950D2D6FFC5BBB54 |
| SHA-1 | DF56E1DD161E1B157A544410C0926D11A0C2ECBF |
| SHA-256 | 921FF8CAD14DFC7270311DD041C44B3DD4629DC991126BF8551E3707A2A8078B |
| SSDEEP | 1536:wattPySv8aJTDxpr9czCFnaib4rqt6Nd4OdbklbPdeY11aYyuLJPSIrTZ4EI6vF6:r5BcZqt6NKybMPdeY11zXNP44M8ij |
| TLSH | T14DA35B46EF095F96E1EFCF3085768296066C49C7D2628B11F3AC0EACAE0E75D5FD6180 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat |
| FileSize | 109792 |
| MD5 | C5403E5D966EA08EAC32D2FB983BD957 |
| SHA-1 | E59101C4F27D3AD241F5273E0D1B877752CDAB8C |
| SHA-256 | 57CD87527661906D9C6CCF835FAC5F2D61C866AAC8DC5A2DAF5AA14822E9D679 |
| SSDEEP | 3072:mAFJ6cJWt6Noszb9Pz6Wmzx3xhD4q3ek/16:mq6cQt67RzEHr |
| TLSH | T1C4B35B86EF095E96F2DB8F304176C257076C59D7A2728712F7EC09ACBA0F74D9B82580 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat-trace.so.1.0.0 |
| FileSize | 98496 |
| MD5 | 06E6D77725779081625787E48F269A9F |
| SHA-1 | 1CFF479EE42665C2B2277FF34DEC931312B4272C |
| SHA-256 | CA5C82BB46B6079F7CA2393E307EEE5ECA712FB01A167979AC3780D9CB190360 |
| SSDEEP | 1536:ROgdfJzM/BeFbrhSJT+17wKcdf0Z8QQymiBR/efpm5nDmNT1RKTms4na8BAD5ePX:ROgz31DWMZbQgBy2DQkmBFPC4jZ |
| TLSH | T187A35C86FF4A5F93D1EFCF3081268297215C5E8BA1258B21FBFC196DBA0D65E0B83540 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 115152 |
| MD5 | 66DE057751D8B93D381A0BF1B0308631 |
| SHA-1 | 3B0DB117F073A848D414D7176A2B294538BFC4B6 |
| SHA-256 | C5620B220B8031CBB73F04C6C1FC286FFC11711F7FA58F0B4CA5E0C3E5C9020B |
| SSDEEP | 1536:za/EyvqS8xXdY0bUBd4MIkAudf2mIXy36kNCDdbhJnSlCm8WWX0FFRdBTvto5tw:SqS8vQ+dk+U3PE9+Ru2hgw |
| TLSH | T105B36D42EF096F92E3EB8F308075829702AC5AD6F2668721F7FC096D6B0E35D5B87541 |
| 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/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.so.1.0.0 |
| FileSize | 93232 |
| MD5 | 6188EAFE31D633E63EE5D8D8BB45AF02 |
| SHA-1 | 3DE25846F4EFE13EA77CDC0377E5C0EE76044A70 |
| SHA-256 | 209A18D446221C17DB82D355DBF20F42B320AA1F634434FC8A94EE78F81FEC44 |
| SSDEEP | 1536:xPHAE0PN9YD849QBBeObv99bkytnQZ5VTzT8Tb0/utea/FZ0oAdz2Ck1taCqnGeg:xKpe+3tnQZrPT9/Ex/FZ0bzxk1WUp |
| TLSH | T181936C46EB059F96C1DF8F30457782A22A6C5DC762628B12F7FC1A9CAD1E78D0F83185 |
| 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/libpicosat.a |
| FileSize | 151106 |
| MD5 | D8844D778DEBC96937D4BF3975E4D903 |
| SHA-1 | 5D2AD16F5D5B97D77D71D6BCDD1CC0A1278E6E93 |
| SHA-256 | E2466123C2933563DC8058E4507D28986C2715EFDA2B683489E8D33B8E837E2D |
| SSDEEP | 1536:BrCz6kJzf7SfOf1E9crCVrejyc/yt6NKo2xzMx4HK/OgOqAvxlGK7h+S0ytoDPm4:Br8fzuc/yt6NRWz/HK9ObMi4SBllN7Q |
| TLSH | T190E3E746AF091F86D1B98F7189D74329233EE8CA62234B1BE2AC597DFE4731C6E47501 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/picosat/changelog.Debian.mips64el.gz |
| FileSize | 216 |
| MD5 | F9756A8596A29D037CC4C4C822D634AF |
| SHA-1 | 690DDAE0B40BA95A27D4F1556C07E806AE8F85DD |
| SHA-256 | 99F35CC305CCBEC88C61BFE08A4729F6C2052AD33AF9DB3DFB650A6330AC417B |
| SSDEEP | 6:XtweIAa2TuSNY0NUgxTe/KB+r1A4uihoLh:X2eIAa2TuSNZNdVei81A4uoe |
| TLSH | T153D0233A5375F945DD391535C3D5094105F7051FBD54414550787C57C50814C85D9307 |
| 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 |