Result for C11248A708DD0C38D637ADB3299629519CF645B9

Query result

Key	Value
FileSize	122972
MD5	55A43DD809E505F175F0D913E489602A
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	C11248A708DD0C38D637ADB3299629519CF645B9
SHA-256	9FF25EBEC977C957194F527645131FEC70DB232CE8B46A6C3332F114E58ADABB
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/bin/picosat
FileSize	96648
MD5	37DD86C5032A96EF35008B478BB9364F
SHA-1	C3180D71D12B740975991C6178C1C650DC5FC381
SHA-256	9E4EDD1892F44FCC62A1376D0462FBC4C2DC76F508EC70F45329884545833275
SSDEEP	1536:A7g4Cf417aBjPvHTCzNeLTIloLDk3t0wboHlg5kwHn+V/tb1dcg0pDS0:uzgLrSNCIs0geLHopdl01S0
TLSH	T185934A47B2A254FEC6A7C47487AAB523AA3174148331367F78A4AB343F53E401F56B72

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	92392
MD5	F35D3B7DD0AF1A216C8B4F7F90C40AFE
SHA-1	A702011563391BC57226B9A2FDADF08130CF8871
SHA-256	72D43D122ABFEA399116B0851B29C228251258F4178F47E14E7FD566AAF6FED5
SSDEEP	1536:mNRCv0Sg04KEBi5YY1HF6YcI76pyDCK5VctGjasLzW+kq1xZ2/6yZcVAr:mTWdFKIqpqW+MChVAr
TLSH	T148935B07F1B298BEC2F7C8785396D5639A70780593312A7FB4A496393FA7E001B55B32

Key	Value
FileName	./usr/bin/picomus
FileSize	92536
MD5	A94F42B7C7F441F43106BFB1776C073E
SHA-1	832562D996C1B356881C6E133F2CE2675040D3B8
SHA-256	DE7452C050D58FF56AE3104D2AA5CB6D5177EBD26E549CB81752D0C0DB7EFF22
SSDEEP	1536:JcFGbDS0r17a39HHu8tueLT7loLVk3t0wboHlgcdTcForR/derjSaU:pbe09SbtuC7O0geuQWderWaU
TLSH	T1B5937B07A2A658FEC5A78474876AF523EB3178045331397F74A4AB342E67E401F56B32

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.amd64.gz
FileSize	217
MD5	C2343272F218B62923A36791AA799702
SHA-1	40A9D7570BC1559EF34D4B85CF704281F0D4208D
SHA-256	7735BFBCE059A7ACEFBD4CED8F2600F273C1E0751B025C1E95DD55A5FFADFBF9
SSDEEP	6:Xt0oPuoispjvTa06dzCPsfqOdE41YJK/n:Xyw9BT20m1B1YY/n
TLSH	T148D023414350EF7ED056153F47C6C5D14C25E9E775507B1C077809C741767557644329

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/lib/libpicosat-trace.a
FileSize	112522
MD5	105F6594410174E4C1B76B3F4506E58F
SHA-1	27C5D1AC50131735BDA2F0FBBEFA8920F38578F2
SHA-256	5A95705D02339ACFC96AA26628908A406BB682EA889DFD2CD411E5A5723252CE
SSDEEP	1536:IJCv0uU9NxKU+zYrC9wi5lGz4Wb5qkURTmLwvWOZU7pFAAFYiVaSv1/AG5BY2agm:EW+YwfAWB++VaiAyB7l0ESxwO
TLSH	T159B3C407B563446FC1A68E3402B7B522F63ABC44DB3339777295732E6F72F104AA1A25

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/picosat.trace
FileSize	104856
MD5	7B1B45E2B46F81926C10F6F465CBD5E7
SHA-1	D7A43055FFE33CB27C17D5CE9EDEB23B9BC5F6BA
SHA-256	74D4C1BADA874DD2B74B649CCD28C0377D641B9C0C0A99A5740E33C794071942
SSDEEP	1536:HDLo/Cv0kd/xK69zYrz9wJFli1jJlW65qkURTmkhwWOZUsTmAI+uP4RVak3w+TQf:uWF5iUI5Wg3XVH3w2A
TLSH	T142A35B47B2A254BEC6B7C87447AAA523DA30B4189331393F7894A6383F57F101F65B72

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	88280
MD5	21CB9A0C24D64E5F8C61E0707D6DBB4D
SHA-1	5E468CF9154AFB9BB12E370FF4EE70AB5683DBBF
SHA-256	45EA00CBA4A3C60C23612B38A9651D96A53FC54AA048D79949EAA4E6E7509089
SSDEEP	1536:XVR8Gh+i/rAd//iLTLlbMELJTpk3v8zU6EhfQz9aQdzH73wLeMN:sGLAp/uLjl6YrdzH73wLeMN
TLSH	T12B835C07E1A188BEC1F3C838466BE5739A31780553216A7FB4A4AB343FA7E441F55B72

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/lib/libpicosat.a
FileSize	103154
MD5	28D4D62D3D16D34FC1125128218965EA
SHA-1	6579385ACF5E58669990872AF1736EDD535F12DE
SHA-256	52D22C13A771AA6EEF0CCE2EDDC75A992258BA165B270FF50315B3F5937FEA32
SSDEEP	1536:AMA17agk8HWcd9eLTwloLFk3t0wNoklgI4DnBrIUedrILHiibahSQGDjDO:CRoW9CwW0pelDBMdrIWisvGjO
TLSH	T1C7A3E803B69348BFC1A68E3442F67522F63ABC448B233A777159772E5F72F404AA5724

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