Result for 8BD9AE42FEBA49023811980CFD05BBD23F347025

Query result

Key	Value
FileSize	86892
MD5	7D0B04098A93FF7F9CAD80B6319891BE
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	8BD9AE42FEBA49023811980CFD05BBD23F347025
SHA-256	B68A77A76826EC88024BE56C428CA2436FDE14FE208285A3EA3D36D9E586D0A4
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/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/arm-linux-gnueabi/libpicosat.a
FileSize	118100
MD5	8B21FF0653702CBBD3AC480069936C65
SHA-1	E8A67A104BE7EE2EC9E537E32DEA5C5DA2266683
SHA-256	5F625EFA041673B18E293A671A4DF6D48A3A44E2EF25C271023B29B8211007A1
SSDEEP	3072:BBN/Gb3O9y3KmNHxM/N3kyfg8TVy626oJ:BBZGrO8NHx6NUyfxV921J
TLSH	T1A5B30853EDA2D7A6C3C51570F64C4714B2A38A1883C7B356D1247A30AABF4EB4EE721D

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/arm-linux-gnueabi/libpicosat.so.1.0.0
FileSize	95668
MD5	1901F79CF0276992C1B7A6650E0F2146
SHA-1	AD40B8F4BB9E8799752F3B0D480DB790B716B2B9
SHA-256	CEF5063E92440C23E796703E7F2FD75C8E492419344F629B38002E436D578BD7
SSDEEP	1536:QY5YkxxsTkuVyhm6tx8xqo5vP9qiF9+DG9g3/SbJiy/OGBuLMBS0typq4XWxY2Wz:XPozyVP3GB2vDuZzMq50EfvqPXtg5D
TLSH	T120933963E861A7A2C7C92871FA8D4251B2330B24D1D7B347CB352E305AF747B49A7729

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/arm-linux-gnueabi/libpicosat-trace.so.1.0.0
FileSize	95668
MD5	04776CB4521176E478B784C8939E1FA5
SHA-1	7CBC872C6BD9089B39663DCFFF00D905BCB0BEA4
SHA-256	CD798694B51843FFA18B1EC89CF4CF448E120317B1C1A77AF54942883C23FF28
SSDEEP	1536:RY5YMxxsT8uVyhm6tx8xqo5vP9qiF9+DG9g3/SLJiy/OGBujMBS0typq4XWxY2Wb:6XozaVPXGPpGHzuRLMq58UffSPXtg5D
TLSH	T151933A67E861A7A2C7C52871FA8D4350B2330B24D1D7B347CA352E3059F74BB4AA7729

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/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	108068
MD5	D17CCFB764D72EE9E1F7265825E03AEE
SHA-1	C3F5CD61C274FBE2A1EC79FC212AA7F0E6FC60EE
SHA-256	E84B4A934EC4F726080EAD59E017EA65B5EE60C827E5EC4001E3270C5E8A38DA
SSDEEP	1536:5WUpDYBrduJoSrSZxIzFu+7h6aFxs5SphA3T8yN9m75NQvxHMSJwgtG8AxYh3gRz:56BUuCILgONtoSmIbMHOKz1/mPX/g5D
TLSH	T1A7B34AA3E862A7F2C3C92472F68C4265B3330B34D2D77346CA255B306AB747B49A7715

Key	Value
FileName	./usr/bin/picomus
FileSize	99876
MD5	6DF4783ECDB0BDB08602269A026BDEA1
SHA-1	A7B6BD3C346B81BF4AF70B8982146924251A0AE0
SHA-256	E13508BEBDDFDB5EF5486B6E887C5CF02C3F3795396F8A73C01330787A04F00F
SSDEEP	3072:OxXbF/VYq4wiGlRtvMemaUMOQV+wF4dXNgr:+/b4wLlozaUeVxF6
TLSH	T184A33AA7E861A7B2C7C42531FA8D4265B2330B24D1D7B346CA212F346AF747B4AB7315