Result for 499A0D8743E9FF7EB124C6EB104A1D44812538E6

Query result

Key	Value
FileSize	86260
MD5	A195FD02EF559505E4D2619FAB72BB04
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	499A0D8743E9FF7EB124C6EB104A1D44812538E6
SHA-256	B05CE8FA5DE70AD1DA5B5A3B18ACEEA86433E6BAAD5E9CAB0C9C2A31FB98920C
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/aarch64-linux-gnu/libpicosat-trace.so.1.0.0
FileSize	96176
MD5	EA70AC1C32A9C8947028B7DFDCEC5DCC
SHA-1	CAA60FB56543B134027E3BA1175FC753014C0DFD
SHA-256	AB36EDA8B1C92F949C8298020D0E82DEFE02E2F14711D4E5EF3522178A381C4B
SSDEEP	1536:ELHDh71urJMj0SK+BCY9Pw56G9Us3x7EfbSn9ETw01wnCDD3:ELjjurJW0SKUp9PaD312or01wo7
TLSH	T12E937D9DE94EA806E6DFF239D08703B1B617B478933733967750136DE6DD66E81A0230

Key	Value
FileName	./usr/bin/picomus
FileSize	100440
MD5	79C394E7EDA54C35874CEC69B2CC4C46
SHA-1	5C2F8107E0F588BD9747FBFDC4D894F2CB2F094C
SHA-256	658D57FFC130AEB23045B3F747EAC15663B2DA5719D2F0880445E2BF33679DCC
SSDEEP	1536:H61FOfpObXro69Aa+7owEhxEgOph80l2UgMHbPvTu7f9iTw0fk4I:HJfgs69Aa+UPhxGq0QUZHbX0l0fVI
TLSH	T158A36CDCDD4EAE42F68FF239918402B2B61775B8A3373D46375113ADA2CD9568EB0321

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	108632
MD5	0ECE53811CC2A09FBFF7E24E82AD56BC
SHA-1	973ED2FCAE648CC718B41D8BF6F2486807A377A6
SHA-256	B959AC14CFB8751A1DB9DAFCB1300953FB1D0205A52274898B059945BAE54582
SSDEEP	1536:Q0ZiMEZyI1ihjaoa831EhOEgiFyW7+m1Rm7vUt71V9ETw01kGPrt:Q0ZiM4vihjaoa83OhON6vmLIr01kGzt
TLSH	T1CAB35D4DDA4E6843E78BF2BD90C511B1B627357CD23333463B1513ADE26DA6EB1B6220

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/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/aarch64-linux-gnu/libpicosat.so.1.0.0
FileSize	96176
MD5	6B4320FF1F37B46A4DF77B00A50EAAA2
SHA-1	9D024826ED653C43EAED8C6B200EB32B0F1F39C1
SHA-256	0D25A953E81B0FFE6579ED9168AF7CB201FABCFA3DCF6075D6642EBB1A7B6437
SSDEEP	1536:1LHDh71urJMj0SK+BCY9Pw56G9Us3x7EfbSn9ETw01wnCDD3n:1LjjurJW0SKUp9PaD312or01wo7n
TLSH	T107937C9DE94EA806E6DFF239D08702B1B617B478933733967760136DE6DD66E81A0230

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/aarch64-linux-gnu/libpicosat.a
FileSize	168272
MD5	E2054DC89BDB07BB36119FCD60C03E77
SHA-1	AC18EEF24CFEC37EEE0EA6A06373D2BBB7E20910
SHA-256	6505627E21CC854D083DFB6BE18C9FE3F96166132C3D765CC636D825A66C9980
SSDEEP	3072:aaIc7x+aGxrhhX5jlm0tCfJaBM/yZDuh:aQ7x+5xrhhJWaWmDs
TLSH	T1D0F34CDEBED65846CAB28838FCB507309563E0EA61CA476FD22C127467D963D9FC8710

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/man/man1/picomus.1.gz
FileSize	821
MD5	7AEB69EAB0C7478896263EF6BECCE2B6
SHA-1	DCCD3FE1798653C0686269334378FE51F93A3C4E
SHA-256	8F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2
SSDEEP	24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt
TLSH	T19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB