Result for 83D02774C62CEA75DB1F21F926287DE597D43D0C

Query result

Key	Value
FileSize	114238
MD5	B3EAA7226FB5B8E58B80ACCEC7C7100F
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	83D02774C62CEA75DB1F21F926287DE597D43D0C
SHA-256	044C89A9B52B73552ED824D221CA7EFA65EEA8B7C7DED828721285A1FA0EFEEF
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/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/changelog.gz
FileSize	1824
MD5	4AF6238995D6C3390C4DE4729D5A2804
SHA-1	A35BAC81E666D0C5139903AA2439B633DA6374D2
SHA-256	3FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161
SSDEEP	48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot
TLSH	T1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	70520
MD5	1968777A246562C25FED6097A2039AB3
SHA-1	C45D2C038CE51EB96B6CBE066E87E55C393C4B6F
SHA-256	64154A43B1D8907B62059F53DFDA88D4C816F88FD08E4CA0813DA2A7D22775CF
SSDEEP	1536:FeVqwp2LRA8U7tGr9IJPhlw2kiI4oS/9bEBNnqn958U:FeVq9S8UMxIVHw2S4osPl
TLSH	T1D563B09EC511061BCBE6527EE0F79EF4A1E7E0A8B101F076947BB335F26A061A0B5770

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	65330
MD5	30CEBF410979A1AFAAA8E3000D1A3093
SHA-1	CC40DF2028C7EBA6F298C265AF296AE142FA773E
SHA-256	7993B951955DD04367CBF5B361DF7CC58E5F534B9B36043FA2C8F195EC97D17E
SSDEEP	768:CrSdl53lnx/K++x2L/TPH8n/aNhej/aU9cFUTA5p59N7FcA4FublCVnV:E6dF+xmPcnC8afFJppFcAQuin
TLSH	T12C535B0FC611592FC6E7193E90E7D7A0227CD45CE613BA76B1FB33B6E98B1146C90268

Key	Value
FileName	./usr/bin/picosat
FileSize	65248
MD5	2D5598A8425878C3EAF1B09616AB64E8
SHA-1	9CC1B098319A67C15717311EFDEF7CFEF009F9D8
SHA-256	0E93CA5D4A9DF1550194E36D1C6B09F810EC689095C49235C5DB92DA5221D3CC
SSDEEP	768:tll0kPtXmOfO2dQ5H6Qx/XZ2LNwPH9nPt79nqVXp9pBUkI5Vp8N59N:tlFAO213ZnPdnVEb9f7PN
TLSH	T155539D9AC422162FC7D5477DE0BB9B6824F6A0ACE211B5356077B23EF35E824B1753B0

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	61492
MD5	9D709E6AB739626638B36A740B23A679
SHA-1	3994A65C57DEBB49C1DDE20EA0983986984CAD85
SHA-256	D018093844B3982503487B2D6C6AA2EE5C6E7D73FE918975695BE2F0893FCA8F
SSDEEP	1536:kps0m/nm+P6n7vp9tkf77777777777777777777777777:ak/nxPQk
TLSH	T15253AF99C232142BC996523DE0BBDF6835E2A0BCF225F93155B3723EF25E119B1752B0

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.so.1.0.0
FileSize	62680
MD5	6674D4BDC9AAC5F4029857C62D0F72E3
SHA-1	93C291E680D5E1DB83206A01056CBEEE84828095
SHA-256	8A33EB5115F2C28D49BD46E8FB05B01D2B5FE15B092304E2704B19CC70001C65
SSDEEP	768:ptZW/wUXfeTyLWzdJpX91b8RxiHvTOtYKUnCns26HzUuhpVUVY1Y7+R5VF2bv3zM:HZW/ZXfHq191byxc6XUn4s26TfhXUB
TLSH	T1F353C003C501011BCBE59ABDF0B7DBE4A191E868E09A7E77413F8265FBEC978B0745A4

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-trace.a
FileSize	73038
MD5	206796BE96D74A35FD82E92CE12A55A2
SHA-1	2120D96AD70EA1AC8D22F60A4102ACD547A52430
SHA-256	C11B56154C1464B5D85C4AF937E51AA9ECCDBE5F975402FF2467D95509C49AD0
SSDEEP	1536:cAu2KtGrJdNhlw2LiV63ygb0DXlnn6Wwv7oA:Zu2J9dNHw2Q6V0xn6Xvs
TLSH	T146635B0FC550091BCBE1147A90DBCBA5226AD358B613BB7BE0F673ADE1871646CD12EC

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	57584
MD5	73D51870CA0046503E3A4CFAD20D1F4F
SHA-1	C854DE0011891D15DE38E78F301C41A71A4A7B87
SHA-256	5B4F9C19DC67041B2722407294148C76C9B4FF136214EE4FBBF4CEBFFECAD65F
SSDEEP	1536:o3A1gbEMnxfmtDZx2EOSCVgD5QtJ1Q01GDKGcPLg:o3KuEMxfmtDZx2EOSIgDCtD5GuxPL
TLSH	T1FC43AD53CA0A581FCBE94ABCE0E7D7A85196D02C9216BD7771373539FEDCB1870601A8

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