Key | Value |
---|---|
FileSize | 115524 |
MD5 | 5469003740D1527228E43D909BDCC079 |
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 | F47D7C220C804956EE7FB2BA107EC80409F1267B |
SHA-256 | F4143B17C5C357634B0AF46160A5E7BEA3D75DA1C93C44B5B62BAB969AD601E4 |
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.trace |
FileSize | 133328 |
MD5 | 452834E75FEC2B02BCB81CF0013F031F |
SHA-1 | 7C37FDA9A5F39B900DAA97E1F717EBB72A20F3B7 |
SHA-256 | B4A54178F0C0B57AF8EE6139E606A35019D3430F17E8684DF5F34A4293EE8155 |
SSDEEP | 1536:shrySmCvlU7PEOtPUAnw9Pmb0NKwPWz8dNWoZkMF9KN1ojaUYyDdc:4W0v2ll8OinONATWscyJ |
TLSH | T14FD35C12364DEB47FB50383B42CEAD9173A1354513B495E6D545032FFBFAF2ACA2A814 |
Key | Value |
---|---|
FileName | ./usr/bin/picosat |
FileSize | 133312 |
MD5 | 38A7C78FDD8B3AF275C86B54F4929D83 |
SHA-1 | 1BEDDB7297B392A29B759F788FF8FD7B067329EE |
SHA-256 | EF8445B2BA1F5BF58E59E8822270A2480A0F0B37AEAB03776478D16085CA2B7C |
SSDEEP | 1536:gr1nP6s3FG4bZXZaAcuS/wJEN4tfyj8moo79GtO6AyHEUquhHjd41Q9kxTJ:CBceZ+nGtcyyuZ+Z1 |
TLSH | T1F7D34C12320DEB47FB502C3B46DEB991B7A135490361A9E6E651032FFBFEB25C92E504 |
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/share/doc/picosat/changelog.Debian.ppc64el.gz |
FileSize | 217 |
MD5 | 9C3297F1F30D675F06F46C3089B34DE5 |
SHA-1 | AA5963C96B35DE90A00C0F552BB01F7FC7CBBEC0 |
SHA-256 | FDB32B997ED9A8F50210C56A9A557FF98BA10C09C3FB3EC7194EF861EBE81CF0 |
SSDEEP | 6:Xt3R0wLhB9da3lt7pl7l4FYiVPhg3sKYl:XJSotoVWFvg3o |
TLSH | T1EFD023EBC2783B18E390CAFA8CE80A06443B16810C07F03983482037094F0820C3BD10 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat-trace.a |
FileSize | 130690 |
MD5 | A034E1A5966E651D8B6ADC200860A4BE |
SHA-1 | 64B750251F8908F1FCDFA8DA8D7E942B558A8B11 |
SHA-256 | CF7A52220F85D09B619D8607C64C2ED8DC5C44362339CC46062EF9EEC5343157 |
SSDEEP | 1536:lbsJt1b/AAwDur56uKnPfpvapRZhpcKyce3MT/KRXN:RqkAzN3osfgk2R9 |
TLSH | T1ACD329076D91AA8BE791AC3741C7AAA3B3A2B00803D25BD5C1D8433BFAF77159F17854 |
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/bin/picomus |
FileSize | 133280 |
MD5 | B3149926B8C998F9FD3945E09CA509F0 |
SHA-1 | 91BB734D7400EDD89BCEEA6BC365DC4466FDFA09 |
SHA-256 | 05EC8D627A67C55E8050447BA653D2501108EE3D120E35EB62FF20A323A5DAD7 |
SSDEEP | 1536:O7752INr0ZXZVKOoKSdi2t8KECRCr8Z6AygEUduUumbWfH94:YhNEMAP8xyDXd4 |
TLSH | T1A8D34C11320CEB4BFB50283B46CEAAC1B7917559036599E6D641032BFBFDB29DA2F805 |
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 | 122298 |
MD5 | 6848E9ADA3EBF7113801E5F2AC6D80B1 |
SHA-1 | 0F50B70952CFAABF0BFCF1AC8FFDDD6A3D87BE7A |
SHA-256 | 8478555328536B0A171D8F9AF8FB4EE1229BF8E9BDEA8EF4898A8AFBFF551D87 |
SSDEEP | 1536:eXZ2Ai/7Hdz8NnZhdwb2FP6Aa0RUbj5LS4WlKeRQY+kx3G:0sxYFTaNjN4G |
TLSH | T1AAC319076E05AA6BE7509C3741EBAE627352740803825BF6D5C0833BFFD3B199F16968 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat-trace.so.1.0.0 |
FileSize | 133144 |
MD5 | AB206FC8F1A43BEAA7B8454085DFB4E3 |
SHA-1 | 8085BEB72B7609C8FBCF1198A43661B234103BF4 |
SHA-256 | ACCDF232D962F843FB196E6F90A68A084BCCE02478E84F93506160D686F61F8A |
SSDEEP | 1536:6KjHMtDPxa7CGoKnPBSbrj9h65bRVGZYuq3Fmra2ZLjznKW:0yOZwGvAWYuMGzKW |
TLSH | T1CDD34C12360CEB4BFB903C3742CDAA9173D2754513A999E6D541031BFBE6F2ACA2F814 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat.so.1.0.0 |
FileSize | 133128 |
MD5 | E2567F9995B71193C052C9FB8321044B |
SHA-1 | 0494F5B8499852C250B4550590A93E6D48CFA706 |
SHA-256 | 08045A6EE2371C04174063755873B0B35D9E93D3DFD36B33772F6E57C596EFD7 |
SSDEEP | 1536:B/mfeG3YY95dALPBKuMW6BijUtUaooK8OcC2/Xe:BQJBE2e |
TLSH | T189D33B12320CDF4BFB502C3B56CDAA917392794903A69DE6D541031BFFEDB29C92B849 |
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 |