Result for C805627587FAE0D71B5BAD16FEB21DF581A27EF1

Query result

Key Value
FileSize130068
MD54E4F2DF03A1138B0457E58DBE96C1314
PackageDescriptionSAT 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.
PackageMaintainerMichael Tautschnig <mt@debian.org>
PackageNamepicosat
PackageSectionscience
PackageVersion960-1+b2
SHA-1C805627587FAE0D71B5BAD16FEB21DF581A27EF1
SHA-2563E20294B5FABCAB6DDCB752E9D1D7B718ECB3BB043641791024A1ECB6C45C643
hashlookup:children-total14
hashlookup:trust50

Network graph view

Children (Total: 14)

The searched file hash includes 14 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/bin/picosat
FileSize106956
MD5BA9D38413DB7A091E1075111C02FF7AD
SHA-126A5DA57A58BB46DDEA1F53CF475F4A08C5DFADB
SHA-256A282270C7726010509B978A60331881A4041EF6F3317BCE41A5637ED4BF7CB30
SSDEEP3072:Q1i27LwZVrXJu65KYwqjjyDIMtacotJ/oFM:QWs+5jjCFaNMC
TLSHT13DA36C63B711CF68E335C67012F3C7900AE526D11AD39455B27EE73CAFA160A291BAF4
Key Value
FileName./usr/lib/libpicosat.so.1.0.0
FileSize90528
MD54B928A93C746F799151B2839E8168DD2
SHA-1318F50A1B56F2257CC0A95EC96B271114FEA41F9
SHA-2563A7ADAC9E6853E44E6A09DCCE039EF38BA9A0FF18D514EF34DC830D35D46DECB
SSDEEP1536:8HkWkLwwipflxjdtJDeg6Ac1/2y4EXWLJmBA1mNwqBHQEnjVP5KozAELvga:8H1KwrBjJ6gfW+eXWLJmFNwqQEmELvV
TLSHT1C2933A53B721CF75E365CA7006F3C7A04BE527D209E2A589A23EE32DAF7054A541F9E0
Key Value
FileName./usr/lib/libpicosat.a
FileSize112470
MD5BD9DE46F235A143B0BF70039643CB4B6
SHA-1639D5550B7D656CC140BA9D248D162C51B7018A2
SHA-256F7841F74EBD2D0E5FE271B21EE19F4674FD3B84800263966F69DDC21231CC106
SSDEEP1536:TwBOo0LRQrCxDICzXNbCaSYC25ELfH/rUHuoMcFXNKF1jnN36Oe8DZQuvJAH:TwBOxVB8WSY1QfDUHuoB7KFZNiuvJAH
TLSHT172B30722DB028F39E26AC6F41AF3CB181FB402D126995455F37ED12CAEA190D355F7B8
Key Value
FileName./usr/share/doc/picosat/changelog.gz
FileSize1824
MD54AF6238995D6C3390C4DE4729D5A2804
SHA-1A35BAC81E666D0C5139903AA2439B633DA6374D2
SHA-2563FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161
SSDEEP48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot
TLSHT1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD
Key Value
FileName./usr/share/doc/picosat/changelog.Debian.mips.gz
FileSize212
MD5E0632BB1C334E8B511AA7EC307B47D26
SHA-1F5BF1FFAD16B416833D7E966A4DA6D6E1659C272
SHA-256654CB0F053C3866A09388305456F3A98B4EBF445C402A9C3EA525B7C64996F35
SSDEEP6:Xt70suxApyJ6YigvEbfwguEpNqtEBDSId2PvT:X6OpywYrgFIqDSIcvT
TLSHT124D0237595FE50F9C8011771C1540D8635C155F07114E812439D2C6C319C1E5B111569
Key Value
FileName./usr/bin/picosat.trace
FileSize112212
MD5C21AB6A4BD31384E1CF02F6F9141BAF4
SHA-1FB8B94EAD0EF0D454C45F595D3E1EF325F924311
SHA-2564A90CFA9E879664D7A48EBA882A6CC5602ED141289CAA2D4DED6B60851F28101
SSDEEP1536:snEHwdyqPGs8iKW6c2x+cD0dZldb4p2d6OPjXhRQti/cfL2JbTWWY:F/1siWgN0zr4c6OPjX8t1fL2JbqT
TLSHT1DBB35C537321CF64E775C27011F3C7D40AE5229129E3A495A27DE73CEFA1A0A781BAE4
Key Value
FileName./usr/lib/libpicosat-trace.so.1.0.0
FileSize94776
MD5BF6B65FC7F219E7FDA83095BB9C235CE
SHA-1010C2C1858EBAC9D1DC1BAA8F039A9F60C1B3B6E
SHA-25683A3C2B9F477B86BBA822C0E01ED34C2F84271236EAD801EB9ACC83F39C5D2D4
SSDEEP1536:uzxoJu0x6ch000laL/kGC6ooi2XsVhhmpVH5KAp8NIHHeQqrKjpyd:uOb0N6/kGChohsVHNIH+QwKtq
TLSHT1AC935B53B7718F34E369C77011F3C7A44AE627D118E28986A27EE32D9EB060D541F9E4
Key Value
FileName./usr/share/doc/picosat/changelog.Debian.gz
FileSize969
MD55F86AAA0626045ADFC13C3BB6A3AA6E1
SHA-1679207B4AB07B64A904C5E37FFA9D8A681ED47F6
SHA-256DF20C012AB2891A953AF1100524B36C0CFBBA57E5583C6F2B787A2FEF375EDC8
SSDEEP24:X84zqQtQiFizxArNunqvpmcmd4e9HiVVNk+8Y9xp/:XgiprIuIc1e9EVlJZ
TLSHT1A211C891F4336E47C2B025FC783E6B4580BE219C251D1F30CD96A384C69AFA9D5DF54A
Key Value
FileName./usr/bin/picomus
FileSize99264
MD52FD2A7FF729D4CE46573646702654AB1
SHA-1F34CEC69AB009B1A23DD0CEE4B90DC45A4CB052E
SHA-2561F380125CAE9DE0067027E9BEEA178123B280BE427E21173810EC0400841A29C
SSDEEP3072:cxnw8yLdtJjdzrYLaCZuNhzXCswkQoRqOVRIe7:cx2N2Cmchnn
TLSHT176A34B33B3118F78E335CA7016E3CBA04AE52AD11DE29455E33ED32CAE7191E591B9E4
Key Value
FileName./usr/include/picosat/picosat.h
FileSize28293
MD5F684208BC50D016E0393EA2D4E7696F6
SHA-17792DCC7ED455D76A7341D6D1FA720D82773FDED
SHA-256965F8A8043328D3C3A973F8DA14FFC6AF0423A6609931D261BFB97B9A4F98C6B
SSDEEP384:B6WVHtqpqy0FU8P6CAym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:AIGV02Xo20wE6OtP909GqznHZj
TLSHT192D27113AD452F3B4783E67047DD61E5D338D118726268E5B8BF528CAF8A891423FEE4
Key Value
FileName./usr/lib/libpicosat-trace.a
FileSize121178
MD59BA7B11D119E65DB2810D2BE9AAC667D
SHA-1EC84F97FD6A2DFC2AF04C48AACDB78FA486532BC
SHA-256FEE39BCF56A1F4967E8DE30447DC8A96DD84C6038053602CC5883EB5F0E9B565
SSDEEP1536:4crYT163xycZ0c6lyhoAv2w68YktGex4S2/8XZ/hd4mnsnipNp5BPrxzhY0qUH:4hpAL0DHAd68YkYc4S2/8J/YA3JfH
TLSHT157C32912CB118F3AF26986F416F78B581BF001D636A99495B77DD13CAFA090D341BBB8
Key Value
FileName./usr/share/man/man1/picosat.1.gz
FileSize1109
MD54441230E4B5CBB6D54CE5271595F2FEA
SHA-1F1D6CC4EE513C45015C511B57C75D1CCA3EE7CC8
SHA-256CBF9E8F977CEF317669027A02FEDC3DCD7300254F2D32F75E66EDFF61E46AFDB
SSDEEP24:XeEvQLb2qvQUiHbUu6pq4rTNirDSR47tdNW3zf2BjZwLrnNjqm3Y:Xesqv1sbn4rTYr+Kd22BjqLrN+sY
TLSHT11F11E9441C5CA35DF723F4941282A27067EFF993B5F5A013B2F202D583080D9ACE25D6
Key Value
FileName./usr/share/man/man1/picomus.1.gz
FileSize821
MD57AEB69EAB0C7478896263EF6BECCE2B6
SHA-1DCCD3FE1798653C0686269334378FE51F93A3C4E
SHA-2568F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2
SSDEEP24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt
TLSHT19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB
Key Value
FileName./usr/share/doc/picosat/copyright
FileSize2263
MD57E50CFFB73F8059D45746CD9E4BD4033
SHA-1124824533233EFFD0BED6F37C4E0A6AF9B29E429
SHA-256BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549
SSDEEP48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9
TLSHT1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4