Result for A1E604B7E46F121E0EEBD04D0CC9219DC1A424D7

Query result

Key	Value
FileSize	88144
MD5	B76066F6C8CC73B3E2D5569C1204B41C
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	A1E604B7E46F121E0EEBD04D0CC9219DC1A424D7
SHA-256	B2FFF0652B31108FF753E82203D713F637B613B5198DE051D392639BB07C706A
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/s390x-linux-gnu/libpicosat-trace.so.1.0.0
FileSize	100272
MD5	993321D28390FB9EB28E42D804B0F841
SHA-1	59AFC6EC3B403BEB5BC7782F16A329C34D11F379
SHA-256	CBD1BBCA4D1AA6898B4854E4DDA92CB3AB929065F5D1CD5FEBF1ECA2304EF4C3
SSDEEP	3072:SCZ/kHEMLH8DPeZstA0nmRMuXANxVpmAxo7vb4:S+CZoDPWstA0n1pmmwb4
TLSH	T110A33BEB9615C8D6CDB06F37A25BA7FA533765304AC32E1C7B9CCF2645A22A04304772

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/picosat.trace
FileSize	112728
MD5	2C523EECC2CB62AE634EC0499A46795E
SHA-1	012E55554BD12537388A49AD0804DE3D636313A5
SHA-256	34470FAE1A2F6276DD37979F0FBDED51756ACE0511CBFB8F28803CE3D8BD99AA
SSDEEP	3072:FgNBR/8eJqn0FjeFvsimES7fislI3Num9oqvTe:8V8eJNjmvsimES7fPm9LC
TLSH	T1D1B33CEB9621C4D6CDB06F77A26B9BBA937731344BC36A1C7B9CDB2645A12604310732

Key	Value
FileName	./usr/lib/s390x-linux-gnu/libpicosat.a
FileSize	157080
MD5	7BE5C0C5F1A3BFF8D0705C100BBB0263
SHA-1	7E184B7ADB9A1E23D4A59015F95FEEDF8593AA8B
SHA-256	E7F5E533A14516DF54E029906C415AF72382C8F40075D3F106F793C87E868FCE
SSDEEP	1536:j9Aga1BN3N6i3W0eYy2b8izXU8dNUKg6II5brNwmxou91QBi+5TJZRILCD:O1li+8izE8d+KljrNwmxou9wiIBILCD
TLSH	T163E37DAF875388E7C7507B33E6E24F6873B351618BCB9B28867C9B358536351CB49122

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/bin/picomus
FileSize	104536
MD5	0FA3424ADA40A3183B9CD8E2DE3EB6E5
SHA-1	B4F4E01D841265C1367F552C107FF64D1DC31949
SHA-256	0754575BD3C366D2781EA002380E82C98C1556D3093F9A0B47C928641ECBB314
SSDEEP	1536:ZJB2ZZMzn7B0mcNhikABWFY52+/ZjK6kPZDCDF0mIQ2DbNcbmxogH+pS:leCqmNWG/ZjKJRDEF0HDbNcbmxogH+p
TLSH	T174A34CEB9621C4D6CDB06F37A26B9BFA937735314AC72E1C6B9DDF2604A12604311732

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/s390x-linux-gnu/libpicosat.so.1.0.0
FileSize	100272
MD5	AD74A7236C09E260BD4CEEE8B08AE691
SHA-1	F8E42F3BEBAA0E41AD5BF61810E1F7F01EECD553
SHA-256	AF69058BDB25377D2F9948D582D7612481EC621959F21A51A3EE00245B14DC0E
SSDEEP	3072:V+Z/MHEMLH4fPeZsKAInmRMSXANxVBm3o7vb4:VKKZsfPWsKAInJBm3wb4
TLSH	T198A33BEB9615C8D6CDB06F37A25BA7FA533765304AC36E1C7B9CCF2645A22A04304772

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