Result for CC0177DEE4A1779F245AD96ABBBF22E03936D898

Query result

Key	Value
FileSize	94496
MD5	207BD8341B2FD889E438F145BA8016ED
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	CC0177DEE4A1779F245AD96ABBBF22E03936D898
SHA-256	6624843A227421DB9E565E4D841F0921B54D02061FFCA86D3CDB4BDD4EB2C5AA
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/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/x86_64-linux-gnu/libpicosat.a
FileSize	151904
MD5	CDF3A42F57A25CACD4DF04E25D4E2F63
SHA-1	F155E42CCDA1D90CA74985F49E45A84FFCC27BB8
SHA-256	FC80765165993CE2DEFBF24D1F578DC57DEB9B9C6A27DB8E4236D7171DACF899
SSDEEP	3072:vmKAeUzYuuSs2uJUwhrw4wFLankCknEx3:+HxzrwRJUwhJAadUEx3
TLSH	T1B3E33E1BF193846BC4619B3085BA9120F17FBC498B2B75B3761A375E1E72F108EF2958

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	112800
MD5	44A081123BD531D05DB86DB7794B142E
SHA-1	48E23FDC9D41B8C1ADCE1E9EC448AD50398C766A
SHA-256	DE12FF5596BABDA9E8CC2D8BE3948B956C67607BDAAC6C30B566C43A3767D221
SSDEEP	1536:ez57eNFmXerNE6+kPpYA2HxJvvv+hcjzzQ+B7m6uTMZ8heJbwbYBNGf:eleL3JYNA2HvvvBDB7m6uCnFwb2Nk
TLSH	T101B34A17B15208BDC6968434CAFBE312E975B80403353B7BB8A45B353D73A306E56BAD

Key	Value
FileName	./usr/bin/picomus
FileSize	100504
MD5	390C473E277200267885881F73BF69F3
SHA-1	226A9F6382DC24810B0B33D05EF4B83741A08757
SHA-256	53EA5194E4A44825252FD948E52E33EEA14FDC6936CD41BF5DD22FA615279D59
SSDEEP	1536:Xluk3U8EPNkPpbAvnxlpWIhrOwcd+2nImn8vg77iPBlbwlQjq:XgQIWAvn9WKx2nImn8vgKpBwlQjq
TLSH	T1FBA36917B19208BDC19A9434CABBE212A634BC0803353B7B79955B353D73E305E57BAE

Key	Value
FileName	./usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0
FileSize	100344
MD5	A210130706E0F546E660E80E7AB46F10
SHA-1	49404468FAA500A68AC4F7B4ADB3D6C69E85C0B5
SHA-256	42597D189B5531B26A2FABF57CEE53EA196112504F1AAD6092480A63A5D2AFF4
SSDEEP	1536:VxyoEtD0k/pyUAImxUBFsmUoaYxbSGODleSjrU4ykFAeqbwbiD2i:jWwdUAImKFVUpqSjrU4D6wba2i
TLSH	T1C3A35B1BB1920CBDC2969834CAFBE22295387C0903363B7778A55A353D739305E577AD

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/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/x86_64-linux-gnu/libpicosat.so.1.0.0
FileSize	100344
MD5	BB868D0772FCFFAFB63E0D47CF62F172
SHA-1	D6E3145728353F449D37D28AC893ACF0169E494F
SHA-256	413EBCCD2A65A28F6F93463A802317F48DD29846441653E01A82767CEFE4D18C
SSDEEP	1536:oxyoEtD0k/pyUAImxUBFsmUoaYxbSGODleSjrU4ykFAeqbwbiD2i:iWwdUAImKFVUpqSjrU4D6wba2i
TLSH	T173A35B1BB1920CBDC2969834CAFBE22295387C0903363B7778A55A353D739305E577AE

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