Result for B52D8CE30FFEB74EB119821D26179580086184C8

Query result

Key	Value
FileSize	333140
MD5	368AF51A60CF1E8E0B735C92455F331E
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	954-1
SHA-1	B52D8CE30FFEB74EB119821D26179580086184C8
SHA-256	69C15AE6D5111370106EACAF4E58AE189D9A869F2FC952C12D9DF0DF28C3F77C
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/share/doc/picosat/changelog.Debian.gz
FileSize	834
MD5	277D48536096508E2ECB270BAEFAFCDF
SHA-1	788AA0BBB827920A5C9E847F8681C2634365B064
SHA-256	FF5A8703980842ECC34A53CA723DE28C0687A5551389C23B7D3C07BA2C79A18C
SSDEEP	24:XjUW4UDh8oqedcrOCacWuLSSWeA0x8tLsIiddSnG/:XjUNKhbqedXCacWESSWeN82IodG2
TLSH	T184018639B76B099E6CD3190AD1632CAC4FE6883347231856479844D4A2D3CA250DCE29

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/lib/libpicosat.so.1.0.0
FileSize	83272
MD5	8B1A7CDC7A07B7B69E54E380AAFD9D43
SHA-1	2562B676F63AF9B2220FCDBAAC23A87F182AB06C
SHA-256	689124497A89D4011BAF654F0F047B80755423CCC6E9313E03F23B0990B87943
SSDEEP	1536:iJDNQdmvn+TgN0rDIXuqvjkVqbQxrWlX/56256b5TLG:iJD/n+a0gXuGkVqUxKlB6256b5T
TLSH	T1B6835B8AFBCBC4F1C6935A30C05BE63FC7245706960AEAA3FE145B1EBDB32456924214

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	96876
MD5	F3ED13D64F1738AC51CED609F8D0C6BF
SHA-1	30339C9338862503EDDEB38C582E4DBA0BE0CA68
SHA-256	247BFA0B423733DA358F65EF9BDCB4088C27C31831211632DC197CE370472309
SSDEEP	1536:fn312KAdCjcZnZQTu0Hm9kCccSfSoRjGWExTEbkXoflwROO/qTbW1Nky3G:fljYCYFZqf2ocdobkXAwhqTKGL
TLSH	T104935BD9EB8744F1CFD35E3040D6E33FB278C7014607EEA7DB6A121EE9A27661524229

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	103872
MD5	07735166CB2E9A730824059806426CF3
SHA-1	71371FE796D2AFAFAAED40E9B2F439D742FA778B
SHA-256	FB0E7ED8CD7BD4951E59C5E4475549C4F33167767E047B14CF7B0FE17F2FC8EE
SSDEEP	3072:eG/pJcPqsODTgCxPzq9KWUdobkVRUE2M:qGDzRWUdU8z
TLSH	T162A34ACDEA8B80F2CE934A705126E23F8264D7029A07DDE7FB5A171DBE727125128716

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	84752
MD5	4C2E0A3E0F390F75A58AF03EDD64C235
SHA-1	D01024D574ED9F16A8B117C0A67254F5774152F9
SHA-256	01E3789FE08C4F8D2BDE08A3ED17B900C675BB5FA5A1A86D732BD59B57C6828C
SSDEEP	1536:iH9aZDa8mbaCpgOwf/V+yTYokdl7Wy2gQ14NBTkQFG:an3GCs/V+yEokjiyuyBTkQs
TLSH	T1E6833B9EDB4748F1CBD30E7084E7F72BB3748A015257EEE3EF1A121DADA27611814629

Key	Value
FileName	./usr/bin/picosat
FileSize	91576
MD5	56F59626E73D53D1EEFC705AB6FEE189
SHA-1	A8D7E94CCCF439311BEB58597FC6255919B415D4
SHA-256	3FC73A977246598D90FCC6C88C3EED60EB9D0919A5BED5B2505E38CCF4396242
SSDEEP	1536:t4rqfrVpaZDa9GrCrgqeaKeH+yTYomxhhLY+yG23vGblT9:t3r7ngrCpSeH+yEomvdY14lT
TLSH	T170934A8EEA87C0F1CED346704026E62F8364D601961BEEF2FE1A176DFD77A125108759

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	95568
MD5	5F90FFD77C8D4A087672342FB5F3BBA4
SHA-1	E9EA60AA62B69D842BE745BF4AB0E7FFD78DA28D
SHA-256	338DEC6C8E5EFCCEF3B4AA04596FA1A7CA38530734B238F6D740FC1FA765A790
SSDEEP	1536:M2Ogs4MDFkA+Urgn2Fq0GM0eRUfRV+vx1TRqdj07kKmuMx0+U:M244eJunTjeRUfRV+vLTAdI4K3M
TLSH	T13C933C8AFACB44F1CAA35A30D157E23FC6645302960ED9E7FF541B0EF9B234A6924215

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/include/picosat/picosat.h
FileSize	27846
MD5	FD23F59291DC75952BAD782257DDB59D
SHA-1	77763850DE0CC3F1315626E3A35D7974403896E6
SHA-256	E7561F1E6656B2C652B1C290EF07B3F418E8AF308930817A5B3DCCD08ADE64D1
SSDEEP	384:36WVHtAoqy0FU8P6CDcGm9s78T/4wyj0jUibmUtP904GQGkwVCA+:qIJV02Wck20FomUtP904GQcVC3
TLSH	T157C27213AD452F3B4793E67047ED61E5D338D118726268E5B8BF128CAF89851423FEE4

Key	Value
FileName	./usr/bin/picomus
FileSize	83384
MD5	BA3B716F05DECBFA758A47ED6FBFB8A6
SHA-1	0996954D8AC0E81120AF999DDE275D241D6BB4FC
SHA-256	3E9A5E23C0B86CEF7D6CA0656945D2ADA15BD9FBACAC63AD5C822E72FACAACB8
SSDEEP	1536:TkaZDaGWxC2gyqodD+yTYofBFRigXlWMp/Qlh:QnZxCsdD+yEofjkgLFQl
TLSH	T153835B8DEA47C4F1CAD305708467E62F8364CB02961AEAF3FA1B575DBDB3712640472A

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