Result for 2806784A3777F8C7318A1232807055348939B41B

Query result

Key	Value
FileSize	115144
MD5	F0161E0B064D5C55DA04135998A8A8E1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	picosat
PackageSection	science
PackageVersion	960-1build1
SHA-1	2806784A3777F8C7318A1232807055348939B41B
SHA-256	34AFC0F3A0BBC7F33E55C4A27A6081189CB3D3E6FBEE868CF8514ACA6E1BF3B6
hashlookup:children-total	12
hashlookup:trust	50

Network graph view

Children (Total: 12)

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

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	92336
MD5	BE039B948AE82CEE0F82228FE3FB2F46
SHA-1	C1DE1BD6E78A3143D3807EF05EE11D2D9CE85C74
SHA-256	FA625448E3DF9833CEE8DCF4082659DCDD30C03F5BABB88537DE0C2762DA0E2D
SSDEEP	1536:3k4Cvjy5vfOGOQMuAeWxVg8H83Qf70zLPAlYe3gxQI/ZC6E8EuCH:3zCLMxpMlAA1CiH
TLSH	T126937D07B5B288BDC2E7C474579BD5639A31B8010321387FB098A6393FABE451F65B39

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.gz
FileSize	708
MD5	54F928A0C93D32F1DC112EDE520E31AA
SHA-1	A610267B9D7847CF00194844645B7324CF70E378
SHA-256	ACA8912FF303DECD9F2E8BCB79A93A3C3C713A1270F1586A1136C1A322873B9C
SSDEEP	12:XJ2ilsRNOlzkb37aYEe+/mEF7nWjgllPaEAXB1yFORmYYu/6N07RsxH/:XJ2il2NOdkTHXERnWGVaaKYuiC7aV/
TLSH	T19C0160E897B320C741AC0260B3668A0AF5D2E97E23BAD400E0242E5DE105B20825680B

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	112802
MD5	46411179D469C79D21257FD49CB57125
SHA-1	62A76CF9FBAB99D5AD5D4F2A2AFB07C398FBCBD6
SHA-256	7900BA85955A7BCC39A336B016D28A561A9E34122450049B0F9C8CD939975009
SSDEEP	1536:/0GvjJ5vAudgZr169gG/mTQIji1htRPVnezhxuIv7lO2g1GYR8uqALGWFFc/ddCW:MGLYRr699IZ+1KQ1GYRvhFSdtUpvO
TLSH	T1F1B3D707B163446EC1A6CE7442FBA522F63ABC448B3235777299733E2F76F005D61A29

Key	Value
FileName	./usr/bin/picosat
FileSize	96256
MD5	F2FC40002001C88E1CFAAB9303C2EAC4
SHA-1	7A33B4DB31C7115066025AEF4FB6BA05549D3313
SHA-256	86F08B5F69EA796DA696B2ED005DAA2087DAC0CAEFF61E2121FAF2CA1F9208D7
SSDEEP	1536:LHG1ghUdDTOyK+O6LcmnZ3cHVrkE2PafzwZGqhI5cud8XpbBQF1+:LcghUdWdsLcoZ3a3oIb8BM1+
TLSH	T1F0936B43B2A384FEC1A3C4B447BEE523AA31B4485235797FB554A6383F56E412F68B31

Key	Value
FileName	./usr/bin/picomus
FileSize	88064
MD5	800F240EB988ADE328EEDD72218803B7
SHA-1	1FC99860689564A0915BD62AEC994D81D8A703A9
SHA-256	B371678756DEB1E9F40A5D3F5FBC27C1D6E250599F257720255C4858517EA105
SSDEEP	1536:ZmBomuxY+K1zczhKx9HVXnE2Pafwp3OR61RuH81mzJpC:ZcoZqfzczhKxP0kymmTC
TLSH	T1B9838D4772A698BDC1A3C4B443AFE563AA3174042335397F7188AA3C3E53E511F69B36

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	84128
MD5	A30C7CDB5D6A1F0827E80AF400663F24
SHA-1	2E6E4A12CBA3339420DE5385D2857710FCE0D76D
SHA-256	8D4E99A78A4CEFAC4583308947A6539A2FED18777D1249B09F2DCCE33D23486A
SSDEEP	1536:5p13EqWHmCz9uCcHP8zJV27CVzzl42bY6LeFPJpH74:LWmCz91EGU246S9E
TLSH	T196835C47F2A2D87EC1E3C87443ABE563A631B4015325397F7068AA383EA3E511F59B35

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	99906
MD5	FA06C406EDC7DAFDBD42A9FB0DC2FC3F
SHA-1	20F07DDD0AFEBB3F30959FE1B4BE41CD17699AB4
SHA-256	7F64A8AD6C66479670483839634B82908BDC031445F618CC00EF51FB1B8D27C2
SSDEEP	1536:cB5M+DUkcp55NaHV/1E2yJfr4QIjPKG6RuCtamCO+20SQWUHyQIcePO:Uyfkcp55NUm7G6RBih6UVIcePO
TLSH	T132A3E803B153987FC0A68E3042FBB121B53ABC448726797B7159B73E5F72F508AA5724

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	104448
MD5	B475BC4F75B439D2E35424E1114748C4
SHA-1	73B7A085C5DFBCF4DA78E2FB6758CA2D3A51B03F
SHA-256	14CC1BEB1D7661733E964BBDFFDCA31A81D6500750869D312CA4B4F4246C594B
SSDEEP	1536:43UiIhAm/VvUvj45vVTFgQPRZr169TGimzIQDIbtRPqNezhxuIK+7JYK/LYeZx8v:4kiIhAm1UL0TeKr69N1GIe+xL3OT
TLSH	T1F8A36C47B2A384BDC2E7C47057AA9553AA30B8484331397FB594A6343F5BF012F69B36

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/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