Result for F67925620DC26F5B8161D3C3A794B61448D6522B

Query result

Key	Value
FileSize	97996
MD5	58B96C7D670ED4059C4AF835A515A6AE
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	F67925620DC26F5B8161D3C3A794B61448D6522B
SHA-256	2F2C90D23F4600061591A4BFD8A8BD27042B6D3BDDEB7D2BF14E31D961799172
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/mipsel-linux-gnu/libpicosat.so.1.0.0
FileSize	104552
MD5	2C78E391DB9DF193921B69A5C057FB29
SHA-1	9408A665D0B0C4E666D075C28D41CE138A5B354D
SHA-256	44B93E3370476250EFA377E45828B51A171EFE467861C6BAD99BBAE4F2A40269
SSDEEP	3072:3n/B2eVNj7JvilBsisFfBYYiFdXh/2lJeJz2mpoLZfzMKsAB4uhQskuP3kaPyCXW:3n/B2eVNj7JvilBsisFfBYYiFdXh/2lC
TLSH	T101A3190FBF01ACA7C2C7CD7005BE8211EA9C8AD781A36659B67C858DB9D973665CB0C4

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/mipsel-linux-gnu/libpicosat-trace.so.1.0.0
FileSize	104552
MD5	177D90EE82562D5961206D726772FF06
SHA-1	0290FF4A7CF79F5F4A324E79EE4F659357BA8EEF
SHA-256	6E3F0AE75228CBC1D7DAB8387AD372BDDF6468D774AD3E7EBDDE55F003EEECD1
SSDEEP	3072:EH/B2eVNj7JvilBsisFfBYYiFdXh/2lJeJz2mpoLZfzMKsAB4uhQskuP3kaPyCXW:EH/B2eVNj7JvilBsisFfBYYiFdXh/2lC
TLSH	T1C6A3190FBF01ACA7C2C7CD7005BE8211EE9C8AD781A36659B67C858DB9D973665CB0C4

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/bin/picosat.trace
FileSize	121844
MD5	DFDE438AC09DDDD16F54E9F5475777BE
SHA-1	BAA7617FF138249081B80511DD7CAA0E576C0B9B
SHA-256	CF83D24AA55990D11F3F41355A6A5287315BA7548F1928977573DA3E15D7F34B
SSDEEP	3072:XhVmvqn/B/pFoufU/Htpku0AmERW+egXei5:XhVmvqn/BXoufU/Htpku0AmuWtPi5
TLSH	T198C31A03BF40CDE7C59FCD30063E92792ADC888E53A2657EB6BC499CBE8971945D70A4

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/mipsel-linux-gnu/libpicosat.a
FileSize	150160
MD5	B559169A6A81AD261313FE63E5F7100A
SHA-1	29C0FAF40718E0C707A7D3607851C0D25102F4F4
SHA-256	DF45800475CA904798524AE585F2CE82E01BD9B7177A162881EB646E341488C3
SSDEEP	3072:DBdzx5gFkDAI8AIRT3/g+kt+fRCuCcCLxRbnJKB:DBdzx5gFkDAI8AIRTPIt+Zz21RbJKB
TLSH	T176E3F70AFF710DA7CC8ECDB146A9820121ADFE4621832BBB617DA38C6B9570E7DD3554

Key	Value
FileName	./usr/bin/picomus
FileSize	113304
MD5	99FAC0E1E75FD3DE1AC83E709235B780
SHA-1	0E74830B057246D1423416A9AC7206423A33936B
SHA-256	A964298629EAD78D7B5E69A2376EB0DC9559E0F366F2C62F57F81542B567DB36
SSDEEP	3072:KU7dPWw4kwbByN6cd8ZDFWxUFwB2zeQ5WGej+EV1VNSrL+EWNWddUBXPrVnFbwqD:VdPWw4kwbByN6cd8ZD0xUeB2zeQ5WGew
TLSH	T12CB31913FF40CEE7C79FED70067E8201EAACCDC65291669AE6BD8A8C794D22844D71C4

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