Result for 6562E6278DA38B5F7CFC49ACC602F26B1F898254

Query result

Key	Value
FileSize	148766
MD5	850952FA71CA71B925EBF905629590AE
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	6562E6278DA38B5F7CFC49ACC602F26B1F898254
SHA-256	7D97A74062B3FABDAB0A72FF940740EAB6875E797649D3B03B0BA424CD2A9C34
hashlookup:children-total	13
hashlookup:trust	50

Network graph view

Children (Total: 13)

The searched file hash includes 13 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/bin/picosat
FileSize	97056
MD5	83E7D6F04B85A4207D3DE7DE36EE0B43
SHA-1	ADABE29AD8B8496CA4163F50F8BED67EE1B0AFC5
SHA-256	23A7A3F3429380042F33BE2E6A8D489F17DC9BBDBA399101A2C8FA174253B7C6
SSDEEP	1536:Q2wXozrDrColPq3KHodX6NgLW40nCXg8OUNXpqrB5t0a:zuwTCyPq3PdX6Nga40qgfCXp
TLSH	T1E2935C91EB83DCF2D3E303B625AD5B3756246901901BF0F3E62EB7DDB571602A648225

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	89054
MD5	515DF351AE3E27C566626783C6D2E7FD
SHA-1	323C2D3BE9EFD693E39003C667D04EE4C2F6DBFF
SHA-256	E1EDBF14EAEC70F6B5DC525E9307887DCD5925E03DFBD4BBA9B23E228BEB0177
SSDEEP	1536:H/lrDV47o6qe/HoIXIutWtrcJYqW4k6U+zrA5t0jkgwyP:fb4E6qewIXIutQcJ/U+zp
TLSH	T1C3935C96D7C2CCF2D3E30E7519D9AB7375349606801BF8F3D67E724EA9B0602A904239

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	96288
MD5	CD20DEAF9BC688509F9D057AE1C424DE
SHA-1	A0890FE3E9DDD5075CF8738793CCB1B7FC3B11E3
SHA-256	896318374947238AA002C2F468F11A6063EF857F510CB32644918E96D440F493
SSDEEP	1536:1MybGcBROue3DhbE6dBtH9KrUGN7KiyfX1gbM8F0ul/0m/Cz9GVZap7r9rc3sN5p:1ocBROue1bLtdEdNuiBo8F0O/r/U7r9v
TLSH	T17F936B52E78684F1E7E34A34134A977BC5385303901BE4B3EB5CAB5EB836A05BD143B6

Key	Value
FileName	./usr/bin/picomus
FileSize	88032
MD5	6D9BEAFA391A16513A1DFDC215783D4F
SHA-1	D571E3F7BDE7686EE40E5C9C432D08CF12D20C0C
SHA-256	A3FD13270868D0B04A018A46678BCE80B01259A816F0253BAA99D91AA64281D3
SSDEEP	1536:YMAYZyDmfJBR4qcqHo1XA/AfW8l/RiurD5t0:zdh/4qcv1XA/AfW8Pi
TLSH	T1D4836D91BBC3D8F2D6E313B12559AB774724A602500EF4F3F67EB79D7871602A50832A

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/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/bin/picosat.trace
FileSize	104592
MD5	B7EBD5125760CA8C92936DFE66617F16
SHA-1	0DEB7D1A840BD1D92F842DB4A03E3B2739E9CD0E
SHA-256	8C6BE3CEC8E47BC6A538E2659B8BE11FD3E47635296D4FF023720D0D7E789919
SSDEEP	1536:iieJGlqYQTnZkOBrtLBSFZzzpOVU9P1/vgQwFOkQtLpxf5t0:x9AYCZkO0FZz9wU9tng7lQtLp
TLSH	T16DA37DA5EB87CCF2C3A313B6212EA77755249600A127F0E7EA2F6BACB571701F505325

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.so.1.0.0
FileSize	88940
MD5	8D8D2FAF0B13B68B5DB4CF365971D759
SHA-1	1F02F6D68BD16F82CF33ECCABF70DA537E7B4DBD
SHA-256	85307C062B8C82E4D5A24A4FDA87862CFF18F56E1D19112A4974B7DA93A22704
SSDEEP	1536:tUFQZOoECkWIIwULP6ANc4szWrRMKJiHvtuwmSjfxenDnmBQi3zl+Vva5oVXsN5:eYOoECO0CAu4szC+KJE1uwmSjMDmBQip
TLSH	T1C9934B53F787C4F1E2D34674569AEA7B84346603841BE4F3E22CBB4DB971A127E082A5

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	98250
MD5	F25F2BC9564FD730C197E56B65180C33
SHA-1	12DF8BEDA14DC562D5A1117EBC769FD5B7CE11E0
SHA-256	0CD1B1A2E6FC2D8CB1ED5590541818573C9E207F47FBCC88B282755961441A9E
SSDEEP	1536:UX8bwqYQnFZkOB/LEBSFZzzpOV8yBH+yR0gegwZTN5t0Kea+k:C2YoZkOTFZz9w8yIgpkRe
TLSH	T105A37B96D78688F2C2E30F3019EAA727B630D705911BF5A3D63E769EF5B0711A805339

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