| Key | Value |
|---|---|
| FileSize | 122672 |
| MD5 | C9D4FF2878F5045721D0819B8FECABD8 |
| 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 |
| SHA-1 | A9802E3F06C0B3EE41361A3854355FFD4060BDEC |
| SHA-256 | A2D7346F6E95465C2DD4A872B52928E5385F9E4054330CC009041494800F64FD |
| hashlookup:children-total | 13 |
| hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/picomus |
| FileSize | 90296 |
| MD5 | 9B7900CBF49E8921A4B5326CD145D596 |
| SHA-1 | 95EE20D8D319B7CDC8747E0100141C1F54C68E58 |
| SHA-256 | 5BD7BA37AE3E1C601CC7078B20CFA29BD29E0DB443E621CB4C295E6ED0926F07 |
| SSDEEP | 1536:S0kNY+ZD0bsCLnLRFkSGnWM3NAzMIAJn0DZ0aPY/bgIZOohjBUlQt2mHFhEQIMMj:78FDKdLjMazl8SZ1g77hj0Q3lnI1w |
| TLSH | T1B0937D07B25268BDC1A7C4B49767F1A3A631B4041325387B74D4AB383E77E901FA6B36 |
| 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-trace.a |
| FileSize | 114706 |
| MD5 | CD4F42A8E244833A0A61FC1CADB75D5D |
| SHA-1 | 70B546225724E603F6188F865747D8B122E6C28F |
| SHA-256 | F55C3B33258461058F52B8C1C445E16744BD725FF156BEA835339BD61909E9D6 |
| SSDEEP | 1536:7KnnU0ViwpBeALACXT1hAVhQJeMOMrgrvdP60FPme18oP3t5jefjMaUw/dMt:6nPVJTLTTJd/NaPmJQt15aUh |
| TLSH | T15FB3D607B552046FC296CB7412F6B422F638BC844B233977B295763E6FB7F405E92628 |
| 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.so.1.0.0 |
| FileSize | 93376 |
| MD5 | C344483A0DADF8968645797B4C20B081 |
| SHA-1 | E1F049B9641034224ADDF1886F0EE227FAFBDB36 |
| SHA-256 | 2B7F0953D8F5A7CC7B58D2318FB578EEA21176F93281CB1B9D0422E66A03314B |
| SSDEEP | 1536:e0pCWOm/0tU1xStNgCS73KrxBVXWH264LsfIKqOSnuFjUHHkoGhKWV9TArOThS:JpCUstMHPKrtmH2LLPudSHH9Wn+OTY |
| TLSH | T11E937C07B2A288BEC2E3C8785757E5738634B80553213D7BB0E496382F67E941F96B35 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/picosat.trace |
| FileSize | 105160 |
| MD5 | 0CFC107B4C2F8868F9936EC227756D33 |
| SHA-1 | E9FB3C5B5C8FDCB03814FB57285B058B8CBEA16A |
| SHA-256 | 1022D01C05A796E89F2EFB99BC24F87033FF4E917C7976A3D288184B07483EC0 |
| SSDEEP | 1536:6NMnL7pXnt0tv6ypBBFALACXTvh+uhQCN0aMx88CvdPc0FVmeuJ/BgjSWDMY9fDI:6NSJnmdDCLTWCmrjaVmBJWDNxiB2c |
| TLSH | T118A36B0BB35248BDC3ABC4789366B4639634B8041221387FB5E5663C6F6BE501FA7B35 |
| 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/picosat |
| FileSize | 96952 |
| MD5 | 057FE98321E2B2CA26A86A44DAC8DBD4 |
| SHA-1 | ABA8439BAE182BFAE29FC1DAE7250DEA18013A39 |
| SHA-256 | 3BB65FE8ABFDC565EF534E68DA876C4662B9C15226DAA256D1558A747E729630 |
| SSDEEP | 1536:y0mEyDPokEbC4nlR7ySsdWM3lAzNaJnTdFZ0aPY/bgIZ9oMxpMbxkPuTPFZecwZv:b7yDQflHMyzN+fZ1g78MxixDNJ4z3qIl |
| TLSH | T1F8935B0B729258BEC297C874976AF163E631B4041321787F74D5AB383E67E901F9AB31 |
| 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 | 101306 |
| MD5 | 30B82EFA9ED9B165A96696F988156F31 |
| SHA-1 | 4C23EAFC0513B8F08206339F18FF2988720383E8 |
| SHA-256 | BCC845E57E40AA7276EC7526D4F95C6C636F0E8C5CCC2805E24A41B1D1EC48CC |
| SSDEEP | 1536:yu/ChnsRRASwNWM3nAzHmJpviZ0aPY/0gBZIo/4Z3K7Lj/HFJAt0oNLqc0l:tgsfMQzHC4Z1HKF/4w7nltoN |
| TLSH | T141A3E507B692087FC1968A3442FAB122F639BC444B2379737695773E6F72F405E92B24 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/libpicosat.so.1.0.0 |
| FileSize | 85304 |
| MD5 | F42AAF28295994409A924500DFF75C3F |
| SHA-1 | 05C36094B8986B7D153D005961D04A31892685A6 |
| SHA-256 | 8221C5338DAABF6DB5AF115116D1C6EC9D1ADDAD94F82A17BD16B0082EB2587D |
| SSDEEP | 1536:Ay0GaqfZvnPxs5WHXLYt86GGTOBCY4OtPgPJd8bwvgqwhMfg4LkOSbWToI6OPr:Abdg1HYGGCcYnYPRVY4LjSS6OP |
| TLSH | T1E3835C0BB26688BDC1A7C4744767E2739631B40143217D7BB4A49B383F63E902F99B79 |
| 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 |