Result for E2A2FEC75493AE1D1BC75653DD82ED4C09935E0B

Query result

Key	Value
FileSize	105192
MD5	46AF4BC46623B7A45BBE378CBBA0EABC
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	E2A2FEC75493AE1D1BC75653DD82ED4C09935E0B
SHA-256	1D5F5ABB2D322AE09CB55A006FB1D3019B6EC433D922ABE83BA1AFD2AC112AE3
hashlookup:children-total	14
hashlookup:trust	50

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/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.so.1.0.0
FileSize	79364
MD5	F290C4AAAF6728B8BA92E5CC7618F337
SHA-1	DB4ECABB125758E38730B3CC11EBABE490B230AD
SHA-256	E950EF842AA486B39883EEE46ACFECD0A278180A6987679C4C82617A8B5CFC70
SSDEEP	1536:ZM026p5UHlgLNS3w/sl+39ROKXW7PE8gJrYN05zXY5:6x6p5UFghSSsl+390KXWYPweK
TLSH	T1CE732A47E8419B63C6C13ABAFB6E438573131F38E1DA7245CD294E31E3D749B057AA82

Key	Value
FileName	./usr/bin/picosat
FileSize	91800
MD5	6149F1173CBE7F4EBBCC66894A11C97A
SHA-1	0800E0EBFBB492550ADF8D46E3C888A0ED5AB928
SHA-256	F1A799E1FD3951B25D94DC1A901FA12D76B428E453B59EAF8789DC157A9C4D08
SSDEEP	1536:1N/LaC/MFa8Dh7pqMZSBoWWEi0q9gsV2nOww4oHGAy2t4h+nPf5BvYp3J:1dLaC/MFa8DhNqMZSBrWEi+Bnsro6PvQ
TLSH	T128931A46BC419B63C2C126BAFB6D438973231B3CD2D9724C8D261A31F7D70AF4679A52

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	90550
MD5	EA8272AC032281B1A0A5715B346BD334
SHA-1	2497070B5135A707D311464A63085610DEE7A77A
SHA-256	9F41A2B30E36E00C0960CECF6E96BAA22C21751E20F868C5F2B39957EA294D23
SSDEEP	1536:S6Y5qgMFRQfUCYrABGqG6S9BOaCvkZUSey5/aDyx6QNXIuFl11z2:S6Y5qgMF6sCRM6yBeMUy5/sW6u2
TLSH	T13E932A0AFC44DB56C6C1A5B6BBAD434833225F28E18A7341C8351A64E7FF4E60E7DA17

Key	Value
FileName	./usr/bin/picomus
FileSize	83584
MD5	B9892E47C7BC67ADA539FCF82A3B68D2
SHA-1	B7E6C56CFCED1161A8723226B4CD7906491A176E
SHA-256	F1567B4CBCAB996F61182F02067278AF331A7F81FEC0EBDBA4B2656721B8F220
SSDEEP	1536:j/BJe9lMh3p4GVsbqIk1wsyHG/RiyhPs7UPwwYi6e:jslMd1V7IZ+RtUvwG
TLSH	T1EA831846AC419B63C1C126B6FB5E538973231F3CE1D67208CD265E31F3D74AE4A3AA52

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	85678
MD5	BE39B8AD02A1DAF2A0927D8557F9F90D
SHA-1	FC08662F2436A96B9F3041648609213ED6B1768B
SHA-256	DB2B64A7CEA581A10C10F394E92FB0BDB5872DBF670E99E13108BA679EF42C8A
SSDEEP	1536:FkWXsoMmhPwnlHGzBIg0B+G+AY/+FKSc+blCicg2:1ymK0da1Q+FzlCjg2
TLSH	T1C383094AFC44CB56C1C02976F65E934833325F29E1C6B345C6351A34EBFF0EA0E69A56

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/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.so.1.0.0
FileSize	79360
MD5	81BC0C737D757259CE75500285BCCD37
SHA-1	934066B15B25785D12A566CE372CCE7980081297
SHA-256	5571FA0142D19113E5AF5ED58FE8A562524230E5D7CCFBE06EB8DA97D7514FCB
SSDEEP	1536:0fH/0UBm28JwqGlS8EGL7Hzu8szsyYBY5:If31v/SqrzT86C
TLSH	T101732A87EC418B53C6C1397AFA5E538973232F28D1D67649CD251E31F3D74AF0A29A82

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	95900
MD5	2A3AE9EC025143C598332D32BCDBB09A
SHA-1	A8DC57F32CDB21A5800363E06D8A8D9BC1229E73
SHA-256	FD03FB2738D969D7A7B5F05DD2D9A51D10E14E254C8FD172402679C89C77994B
SSDEEP	1536:cjcU9syry/MjggAZNmMLAa2dxU6p5YMRFR6fSCAraNGUSRMlkRCgPHa19CdY13ZR:RU9Dry/MjggAZNmM8a2dC6p5YMRFYKC/
TLSH	T124932A47BC409B63C6C126BAFBAD435933231F38E2DA7249CC264A35E7D749B0579A42

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.armel.gz
FileSize	211
MD5	AF147AC7D4B96D3A12943CE67E4399B6
SHA-1	3F24615106CBA6A9EBB43D9454E78768209FA766
SHA-256	D3B86F41F94330677C0110994D35AA91DDC6F43BB67C43236C01D5B49D7CD39E
SSDEEP	3:FttSr+EfPdO5he4dcKliB9VPA28WPpcKo5f7OkKqYr4I9b6b+hWHWrtn:XthV/e47QBTPAEoJOk+r4I9u+1tn
TLSH	T1B6D0A778141E286F8092026227905074981A566121ECCCA0565DA1BF4096A9A7D80574

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