Result for 97CE1A06BE9EA6677C3983C9F675432BCADCBD88

Query result

Key	Value
FileSize	103272
MD5	FC9E4103236D649529B45B9B22EF2F2B
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	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	picosat
PackageSection	science
PackageVersion	965-2
SHA-1	97CE1A06BE9EA6677C3983C9F675432BCADCBD88
SHA-256	8029F75D18337513A6E74CA6C57261C74E2FC335E8046533444E2C11EE5F9AA1
hashlookup:children-total	11
hashlookup:trust	50

Network graph view

Children (Total: 11)

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

Key	Value
FileName	./usr/bin/picomus
FileSize	133384
MD5	8908681A398C483029FCE898F4BFB4BF
SHA-1	6AE66B80D4BBDA3CA6BC34FCB97BA25F3C3DAE1F
SHA-256	C5AC609FB7671453BA793BBCC30EDCA7CB0D9F43CE1415B3E6D97566E71BF204
SSDEEP	1536:f9aiVHKGnst5k8AmBWI433pGK0nMzrAe7YonGyh5f7URC67feJ9+f6+9iTO0fO3A:4nQT/Kn4RYonGyh5f7QC67fer+L0fO3
TLSH	T1ECD35C76761C5F97D781287FC3AE8A80FA597C0A07395823A645134F677D62E8F0FA08

Key	Value
FileName	./usr/share/doc/picosat/copyright
FileSize	2263
MD5	35FB311C449636AC14A4CC4D7BCCB102
SHA-1	9868FDE9FC3E9366F9FBD137BE2B43DB6D375A5C
SHA-256	708AF728725AD4F6B0196C113931DDA5FD1D7F0066AE918077350EEFBDFEEC9F
SSDEEP	48:BKjeA8hp0J7ZvET7QH0s5ANU3ouF7+mZciXEg6n7Z9:BKjZ8hisvQHFogjCGT6l9
TLSH	T16E41D90D724083BB198127D1794668DDF33B73DB71BF45C4A04ED389A21687852FB8A4

Key	Value
FileName	./usr/lib/powerpc64le-linux-gnu/libpicosat-trace.so.1.0.0
FileSize	133144
MD5	E724295A6C633BD2368643A9EC4EB226
SHA-1	CF0935545834D81A5414874165F77C451AB7589C
SHA-256	A68BFE409D5D87A1459F92105BE4D11B6B035706F13F91D119523F67B7A8B51A
SSDEEP	1536:fR0JMixrZRpCpLsN5JLAc4Ks0CXUctSIslC2vdMDhlHfarzxyA+JdukAXPGE9ETN:AjjLKRbtSIs/vdMrfarzx7qRkOEU0x8
TLSH	T131D35D76762C5F96D7817C3FC2ED8B01FA59380A0F3A5D23A651134F9B6952E8F0EA04

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/doc/picosat/changelog.Debian.gz
FileSize	1401
MD5	0A2F8E76BF4C336D50E4837C3D642219
SHA-1	528F05F3CEACF8DBF340B4FC56CE7A1B8D2DA14A
SHA-256	3CAE90160DE83391F556560077ED294412337B56D0715826CC380E4FF61DCE62
SSDEEP	24:XGG7eKV3KYHUrY4fSv5T/fwtTsc7yFIJ3dM/cJv/piLm/nmvl1MNqW+0sv1:XDpxUrY4fccZs4yFO3dM/qZiafm9qNqD
TLSH	T187210B333ACAFDA9E5133175471B6D5E4910C012038664ACEC2F34DF64921370CC28C4

Key	Value
FileName	./usr/lib/powerpc64le-linux-gnu/libpicosat.a
FileSize	211488
MD5	B867BEC8892625984D32CF60182557BC
SHA-1	F7CC53DE4353E63A8E955AD0081DAFA799C81B11
SHA-256	ECF27DEE2DD65343E5B3909797FDE2A5CC937E200A5C67AD5E15E9D28F6F5BCA
SSDEEP	3072:rHScJ8HnSFWC/0Fr/JvenXPFsZ0/ha01YjyK:rHScayFWC/0F9/BJ
TLSH	T14424E65FDD409A56C782C9365AEF5F53B7AA304602070772C1D0872BBE97F097E0ADA8

Key	Value
FileName	./usr/include/picosat/picosat.h
FileSize	28675
MD5	CA6B9E56BCE8C28E75AA6CA6C3A0AD11
SHA-1	7554E74205CD7D766C4EA37C941D91D706444082
SHA-256	084D86E8793A15B03A1F3A58C5DE87B45D81161163C81BB68C1EB51E4B897D06
SSDEEP	384:A61VHtqpqy0FU826C1Hym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:vxGV02Xo20wE6OtP909GqznHZj
TLSH	T176D27013AD452F3B4783E67047ED61E5D338D118726268E5B8BF528C6F8A891423FEE4

Key	Value
FileName	./usr/share/doc/picosat/changelog.gz
FileSize	1934
MD5	AEF874D1B8EEF5BDEBEFB4839D52E124
SHA-1	4411D20C33553D48D4678490066C2208AF4C4A26
SHA-256	050BACC95FAEC1F8E9E8C998AF786DBC1EFF3FF0DA15307CA77F32A8BFFE7C96
SSDEEP	48:XTDaexAd2LtiRA0M5B+hXxJSwD1JVEK5paHRVJ:jOeykivqB+hXx3LfPoPJ
TLSH	T175411B88707175B5893C4A3C8053DEF94CB98792119B091C6FE2A8D0179572D77D8C2C

Key	Value
FileName	./usr/lib/powerpc64le-linux-gnu/libpicosat.so.1.0.0
FileSize	133144
MD5	ADC7575E22743D9DE881B1CBDE293DDC
SHA-1	825D70FEEDBA510233114D8B43649163B33AFDC8
SHA-256	013BD3315D21E0D7900C3306D1FBD6FAC6099A6D9485485C164CF0E8B0CDF7C2
SSDEEP	1536:qR0JMixrZRpCpLsN5JLAc4Ks0CXUctSIslC2vdMDhlHfarzxyA+JdukAXPGE9ETN:NjjLKRbtSIs/vdMrfarzx7qRkOEU0x8
TLSH	T169D34D76762C5F96D7817C3FC2ED8B01FA59380A0F3A5D23A651134F9B6952E8F0EA04

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	198920
MD5	CE671828452905137CC0B8967F40B179
SHA-1	330DF5BCD4A550DBD823309E82470E96618B5CF2
SHA-256	3E6CBC5831DE7309C00159EA9671801060F53361C715B243723F36E47417A477
SSDEEP	3072:OhQ6DdEILBFRnHIloyKQB6FQcRKfU0x48:OW6DdEOBFRnHIloyf/
TLSH	T1A9144B32271D2F96D7812C3FC2EDCA50F7AB394B06156423A9811B5FAB5D61ECE07B06

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