Result for 5B95C72BF697BD28C7863774DD0BE24541DCAB00

Query result

Key	Value
FileSize	98260
MD5	643768664D325200EB8801238FAD2A43
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	5B95C72BF697BD28C7863774DD0BE24541DCAB00
SHA-256	9DEDD4C36C7DE6382973337B86CAC5E3C1AA993FF63016B4863AB4298D69A953
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/lib/mips64el-linux-gnuabi64/libpicosat.a
FileSize	223872
MD5	24C4697E739997CFBFDB8E1340610A3A
SHA-1	3A701D528BFA5C23F67EB658042E5E7B967AFCD9
SHA-256	D448879E7708F583B6466C884316A4A98670EB2F55F9F87B3F9C9A04E49A95B2
SSDEEP	1536:igrOPMutAphzBpHiPQxpyOLRXIX+CzM2IbIIsJ9ETAy9aP85anbcLBG:Ey//CA2gedy9ahbco
TLSH	T15A24A30FFB041E42C1BA9FB159575758033EAAC62B077B2BE15C969E7F4720CAE5A403

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/bin/picomus
FileSize	114168
MD5	4CD9E4C24AFA5ECD1CFAF3FD3BC58052
SHA-1	565055A0D4ECEFE3B209627040C705236442D366
SHA-256	7D73F05EE540210D307A1F2EAA98F0AA6A8463BBE10FFCD8AF07EA574D757769
SSDEEP	1536:DUcsDbmU+lErWXoo6kqjKToYjKU3K0y9HswEV+MEMDoV7YJ9iTXy:DUBDbac+aXEQMEt0JIy
TLSH	T12DB30A64EF06ED65F2DB8E305826C5CA172C5583FA22A751E3BD09BE570F3B91ED9002

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/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/mips64el-linux-gnuabi64/libpicosat.so.1.0.0
FileSize	105232
MD5	BF28A81BEBE7157C0F26B191223953A5
SHA-1	C4307735CCBB0E59ACE3829B9711605956D38CCE
SHA-256	A8A714607A93881A1C8DBBBC5AC4893A6EEEBCB248EE8BCA99B18FC94E1D1166
SSDEEP	1536:Pf3nvnwM0OPNDI79cw8VYytUjVrc5OWIgSVUt2peanJSbe9ETXyhMRY7:P63C253pVOY4be2yhH
TLSH	T19EA33D55DB054D62D3DB4F3880AAEBC2376C198776D19B11FBBB09BD152F38A1AC3046

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	122800
MD5	87A7FA3A91B2F36AE730FCDEDD084576
SHA-1	8BF7AEE7B8E880664C0CC3C281674449746B3C47
SHA-256	54D601D3155BC2BA5176F2BEC3A862073F52195D80F0AE15C7AC1F641843911B
SSDEEP	1536:sxMF8vy/ucbNmW1iINnzqm3xsDkRD90/SShzH8jSWchK8qtHP9ETXyhg:F8vahkkZSH4SWkYv2yhg
TLSH	T1DAC34B55E7051DE2E3CB4F304269CFCA436C56CAA612A703F3990ABCFE5F5889AC2547

Key	Value
FileName	./usr/lib/mips64el-linux-gnuabi64/libpicosat-trace.so.1.0.0
FileSize	105232
MD5	0C046B8A9E537D6922E4093587D8E3D4
SHA-1	DC2D02998DFC347369019994D9B111FB72AE6E7C
SHA-256	E1A02AE57B7FE0A80E71AAEB77250B86EDD7BECC13521C9D0A46D987846402AF
SSDEEP	1536:RXnvnwM0OPNDI79cw8VYytUjVrc5OWIgSVUt2peanJSbe9ETXyhMRY:k3C253pVOY4be2yh
TLSH	T1E6A33C55DB054D62E3DB4F3880AAEBC2376C198776D19B11FBBB09BD152F38A1AC3046

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