Key | Value |
---|---|
FileSize | 130068 |
MD5 | 4E4F2DF03A1138B0457E58DBE96C1314 |
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 | C805627587FAE0D71B5BAD16FEB21DF581A27EF1 |
SHA-256 | 3E20294B5FABCAB6DDCB752E9D1D7B718ECB3BB043641791024A1ECB6C45C643 |
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 | 106956 |
MD5 | BA9D38413DB7A091E1075111C02FF7AD |
SHA-1 | 26A5DA57A58BB46DDEA1F53CF475F4A08C5DFADB |
SHA-256 | A282270C7726010509B978A60331881A4041EF6F3317BCE41A5637ED4BF7CB30 |
SSDEEP | 3072:Q1i27LwZVrXJu65KYwqjjyDIMtacotJ/oFM:QWs+5jjCFaNMC |
TLSH | T13DA36C63B711CF68E335C67012F3C7900AE526D11AD39455B27EE73CAFA160A291BAF4 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat.so.1.0.0 |
FileSize | 90528 |
MD5 | 4B928A93C746F799151B2839E8168DD2 |
SHA-1 | 318F50A1B56F2257CC0A95EC96B271114FEA41F9 |
SHA-256 | 3A7ADAC9E6853E44E6A09DCCE039EF38BA9A0FF18D514EF34DC830D35D46DECB |
SSDEEP | 1536:8HkWkLwwipflxjdtJDeg6Ac1/2y4EXWLJmBA1mNwqBHQEnjVP5KozAELvga:8H1KwrBjJ6gfW+eXWLJmFNwqQEmELvV |
TLSH | T1C2933A53B721CF75E365CA7006F3C7A04BE527D209E2A589A23EE32DAF7054A541F9E0 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat.a |
FileSize | 112470 |
MD5 | BD9DE46F235A143B0BF70039643CB4B6 |
SHA-1 | 639D5550B7D656CC140BA9D248D162C51B7018A2 |
SHA-256 | F7841F74EBD2D0E5FE271B21EE19F4674FD3B84800263966F69DDC21231CC106 |
SSDEEP | 1536:TwBOo0LRQrCxDICzXNbCaSYC25ELfH/rUHuoMcFXNKF1jnN36Oe8DZQuvJAH:TwBOxVB8WSY1QfDUHuoB7KFZNiuvJAH |
TLSH | T172B30722DB028F39E26AC6F41AF3CB181FB402D126995455F37ED12CAEA190D355F7B8 |
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.mips.gz |
FileSize | 212 |
MD5 | E0632BB1C334E8B511AA7EC307B47D26 |
SHA-1 | F5BF1FFAD16B416833D7E966A4DA6D6E1659C272 |
SHA-256 | 654CB0F053C3866A09388305456F3A98B4EBF445C402A9C3EA525B7C64996F35 |
SSDEEP | 6:Xt70suxApyJ6YigvEbfwguEpNqtEBDSId2PvT:X6OpywYrgFIqDSIcvT |
TLSH | T124D0237595FE50F9C8011771C1540D8635C155F07114E812439D2C6C319C1E5B111569 |
Key | Value |
---|---|
FileName | ./usr/bin/picosat.trace |
FileSize | 112212 |
MD5 | C21AB6A4BD31384E1CF02F6F9141BAF4 |
SHA-1 | FB8B94EAD0EF0D454C45F595D3E1EF325F924311 |
SHA-256 | 4A90CFA9E879664D7A48EBA882A6CC5602ED141289CAA2D4DED6B60851F28101 |
SSDEEP | 1536:snEHwdyqPGs8iKW6c2x+cD0dZldb4p2d6OPjXhRQti/cfL2JbTWWY:F/1siWgN0zr4c6OPjX8t1fL2JbqT |
TLSH | T1DBB35C537321CF64E775C27011F3C7D40AE5229129E3A495A27DE73CEFA1A0A781BAE4 |
Key | Value |
---|---|
FileName | ./usr/lib/libpicosat-trace.so.1.0.0 |
FileSize | 94776 |
MD5 | BF6B65FC7F219E7FDA83095BB9C235CE |
SHA-1 | 010C2C1858EBAC9D1DC1BAA8F039A9F60C1B3B6E |
SHA-256 | 83A3C2B9F477B86BBA822C0E01ED34C2F84271236EAD801EB9ACC83F39C5D2D4 |
SSDEEP | 1536:uzxoJu0x6ch000laL/kGC6ooi2XsVhhmpVH5KAp8NIHHeQqrKjpyd:uOb0N6/kGChohsVHNIH+QwKtq |
TLSH | T1AC935B53B7718F34E369C77011F3C7A44AE627D118E28986A27EE32D9EB060D541F9E4 |
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/bin/picomus |
FileSize | 99264 |
MD5 | 2FD2A7FF729D4CE46573646702654AB1 |
SHA-1 | F34CEC69AB009B1A23DD0CEE4B90DC45A4CB052E |
SHA-256 | 1F380125CAE9DE0067027E9BEEA178123B280BE427E21173810EC0400841A29C |
SSDEEP | 3072:cxnw8yLdtJjdzrYLaCZuNhzXCswkQoRqOVRIe7:cx2N2Cmchnn |
TLSH | T176A34B33B3118F78E335CA7016E3CBA04AE52AD11DE29455E33ED32CAE7191E591B9E4 |
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.a |
FileSize | 121178 |
MD5 | 9BA7B11D119E65DB2810D2BE9AAC667D |
SHA-1 | EC84F97FD6A2DFC2AF04C48AACDB78FA486532BC |
SHA-256 | FEE39BCF56A1F4967E8DE30447DC8A96DD84C6038053602CC5883EB5F0E9B565 |
SSDEEP | 1536:4crYT163xycZ0c6lyhoAv2w68YktGex4S2/8XZ/hd4mnsnipNp5BPrxzhY0qUH:4hpAL0DHAd68YkYc4S2/8J/YA3JfH |
TLSH | T157C32912CB118F3AF26986F416F78B581BF001D636A99495B77DD13CAFA090D341BBB8 |
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/share/doc/picosat/copyright |
FileSize | 2263 |
MD5 | 7E50CFFB73F8059D45746CD9E4BD4033 |
SHA-1 | 124824533233EFFD0BED6F37C4E0A6AF9B29E429 |
SHA-256 | BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549 |
SSDEEP | 48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9 |
TLSH | T1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4 |