Result for B2089BBA8197D495C294581B6825BD267D356374

Query result

Key	Value
FileSize	121364
MD5	E78BA38403722AC8E9954F09CCF5B966
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	picosat
PackageSection	science
PackageVersion	960-1build1
SHA-1	B2089BBA8197D495C294581B6825BD267D356374
SHA-256	EF711F7E30B1CEB7A60181D80D790081D3D9539C734C3EF3D6EE7FB5D28D2799
hashlookup:children-total	12
hashlookup:trust	50

Network graph view

Children (Total: 12)

The searched file hash includes 12 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	83372
MD5	A74BEA947D95AEA7C3BE6B90BFF9DE01
SHA-1	4FA611EFC18C4AB3D3D5809B78A5AB169439E5BC
SHA-256	2C83DBB76AB7759D70D7E7A53C586D29AD5B73F5CF4D0777F633E18C08E726F3
SSDEEP	1536:1bAFf5xrH6Tl9UxboarSmHTongJwsKd+8CqEKh4c:1bAxH6Tkoauxs++8nEq4
TLSH	T196835B93FB47D8F1E2E316B0229A877B85205602900BE1B3F75C7FAEF9756526D003A5

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.gz
FileSize	708
MD5	54F928A0C93D32F1DC112EDE520E31AA
SHA-1	A610267B9D7847CF00194844645B7324CF70E378
SHA-256	ACA8912FF303DECD9F2E8BCB79A93A3C3C713A1270F1586A1136C1A322873B9C
SSDEEP	12:XJ2ilsRNOlzkb37aYEe+/mEF7nWjgllPaEAXB1yFORmYYu/6N07RsxH/:XJ2il2NOdkTHXERnWGVaaKYuiC7aV/
TLSH	T19C0160E897B320C741AC0260B3668A0AF5D2E97E23BAD400E0242E5DE105B20825680B

Key	Value
FileName	./usr/bin/picomus
FileSize	87404
MD5	E907A1F24DF9C591287AF92306A93F64
SHA-1	D6708797918CE013D6797D4B8BD3B4FBA837DF61
SHA-256	8C849440DF53BCD08BEBBBC2E82AE517F81D6B1E01332CE32F9C47ED084335AC
SSDEEP	1536:G48NZdPSft77FRTdGS7H6ZgycJeCLSH/bMeG6hmqeppJ3KzXnN8A7D7iLFc:GJZdP+x5jH6ZbfXhpKjetS
TLSH	T1EF836C92BB43D8F0E3E346B06646977B96305B02601BE1F2F7197FAEB9716126D10336

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	90756
MD5	7273B6ACD7B737C04D8A153A50267324
SHA-1	819F36263CD0C44CD6CF5DD15F137D78BA789D2F
SHA-256	4AECCC760AFE9D0010F6556F8B60DF0B73D95517A1329D96357641BD0DF58311
SSDEEP	1536:DRf76FNPSFH6VRygJeCriklHimnZ0p5e/dW7KGn8/ZD7iLcwDedmQVxobQFH:DQN2H6VSq50zUeH4pwDMobQF
TLSH	T16B934B96EA0388F2D7F24E701692933B75309A05514BF5B3E7ADBA9EB5B16123C4033D

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	99030
MD5	00E064434A879E1D807FBC725D210979
SHA-1	0E0E1DE71BCE0FC8484C2F552B38A187BC289AFE
SHA-256	219C815BB41D1C4D1DA822F36FC32ABCC45B8E89DA5C1E1B2C17C742454D1F98
SSDEEP	1536:EIvosaGLTi6f8MgClcCaj46YCls2kjAuNl3XhDYc4aKwWp77iLmMtcVdYj/oH:EhZyinIpac6YCWA6Ac4aKdIq5
TLSH	T137A36C46E60298F1D2E25E7062C6837B35309A009157B7B3E7BDFDEEF5B5A013942239

Key	Value
FileName	./usr/bin/picosat
FileSize	99692
MD5	18D9FDEEC12DFB0D5AA092A3EBE69CB9
SHA-1	BC6B6B7813E68A83C7FED99E416A829BB6561C18
SHA-256	2FB0BE165783649E0AC42D1FC0BD726B865524FF59B42C224BD231D418C2EC3E
SSDEEP	1536:R3RNfsMbFIIPyYH6Y5yLJeCSZ6ATPy1uwTGDegr/iJLKPqBZfI5O8UkD7iL:R3RGUIs/H6YxxGzTkbrmbBFIS
TLSH	T18DA35B96F783C9F1E7E346F12629973B45305A02A02BF1E2F31A7B6DBA716126C14335

Key	Value
FileName	./usr/include/picosat/picosat.h
FileSize	28293
MD5	F684208BC50D016E0393EA2D4E7696F6
SHA-1	7792DCC7ED455D76A7341D6D1FA720D82773FDED
SHA-256	965F8A8043328D3C3A973F8DA14FFC6AF0423A6609931D261BFB97B9A4F98C6B
SSDEEP	384:B6WVHtqpqy0FU8P6CAym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:AIGV02Xo20wE6OtP909GqznHZj
TLSH	T192D27113AD452F3B4783E67047DD61E5D338D118726268E5B8BF528CAF8A891423FEE4

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/libpicosat-trace.so.1.0.0
FileSize	87476
MD5	AB09B5D690AA8EC92ED52C98EE761510
SHA-1	62CAC84E7762DA3F30DD1947CF0684C392221B62
SHA-256	906513F715E75ABAE21CF69F8A55ABA122D32D2393E72F5FA09CFE6653140B67
SSDEEP	1536:duXImePX93DlfJp5LfrNrDTlSILPWIyj4Wpq3y+W8:OIJXlDlJjxl9Ldag3y
TLSH	T1C8836C96F24798F0E2A35AB16246D73B822007029016E0F3F75C7F5EBAB5B56BD10376

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	103788
MD5	8B2990B625E2E45B8073546D4C18A674
SHA-1	82E80DD4D134958C71B7C9F89AF1E3141352CC80
SHA-256	5E9596C260EF2FDCEDF6E23F3B2FD4F31C4EF0C8ECBBB44080777CF942D30685
SSDEEP	3072:0yYikQhEE7Ierxa46YHzqg33ntjpVIUrX4:0yIQhEEPYwr335IUj4
TLSH	T1EAA35C96E343D9F0E69346B6222AA73B45301A01A127F1F3F75A7BADB6727126D00335

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

Key	Value
FileName	./usr/share/doc/picosat/copyright
FileSize	2263
MD5	7E50CFFB73F8059D45746CD9E4BD4033
SHA-1	124824533233EFFD0BED6F37C4E0A6AF9B29E429
SHA-256	BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549
SSDEEP	48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9
TLSH	T1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4