Result for 13A1706210D72B4F45993B97CF25E50E6675BFD4

Query result

Key	Value
FileSize	99640
MD5	5DD6E97544679E33C57A8A999D5E7980
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	Michael Tautschnig <mt@debian.org>
PackageName	picosat
PackageSection	science
PackageVersion	960-1+b2
SHA-1	13A1706210D72B4F45993B97CF25E50E6675BFD4
SHA-256	7A3F5E78F2A45D2BC93F94A55E55BD0A4B05EC0EBA04073D434FDDD9D5A48BAA
hashlookup:children-total	14
hashlookup:trust	50

Network graph view

Children (Total: 14)

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

Key	Value
FileName	./usr/share/doc/picosat/changelog.gz
FileSize	1824
MD5	4AF6238995D6C3390C4DE4729D5A2804
SHA-1	A35BAC81E666D0C5139903AA2439B633DA6374D2
SHA-256	3FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161
SSDEEP	48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot
TLSH	T1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	75856
MD5	C8A0489C0FF92F9A33B703CFF264C6F0
SHA-1	B09FED88151F3E078C0C933EB77C15B6B2C1D267
SHA-256	0E673207671ECE9388F6CE07C02322513630D827638D3BBCD9E03CB4A8A4A840
SSDEEP	1536:l1QlN5xxbGRQZFVcTGWafC65fa61uyIHNWQv1IEI:l1QlNhRzVdfL5a6kyGNWQ4
TLSH	T1F1738E5EEA5F3817D3C6EA7CE1A567B2723B74D4F73384E3B026032DD9C2A819294158

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	92802
MD5	C1CD491F47FD8FBF8E1FB597D5BF6070
SHA-1	EA46CC1C5313827D8CA2D2E1BA1BFE7DE1163A3A
SHA-256	6AE277A36F74012F98EC310608EC836CA06B151EFB2ED80E2FF5D578A3D7E33C
SSDEEP	1536:FQYK5xOSGcg7upmRWX3VrJdeTGdSdDMMVYEof21rLz:FQYKuS4ZI33sTGk5aEof21rLz
TLSH	T1579309FDAB897806D3D69D7CF8B137713327F084E2D697E3A23D0629C5C2A699E90114

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	88336
MD5	E93A237C52306F72C040D61BDC882F84
SHA-1	DAEC3B6DC17DCF199AD5B5ACBA6FE2D1E8253815
SHA-256	53DB7145C715A8FE580DA956CD31342D03966E1B31EF75F67AAC7822D4898F66
SSDEEP	1536:WLs6pzbTFFRRd496wHkYiZPQTy5x1614GSGvg7Ac2WWXVYEdciTkNxJl72O:+s6p/TFFRR696ikYiZPQTy8SjfYJ+iTy
TLSH	T1F7838E99AA4F7923D3C7E6BCE1A027F1727B7498E32391F27426032DD2D6E45D2E0214

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	86010
MD5	ED84B5BDC99D12697CE8A0BCC4F6A2A6
SHA-1	614EFBA5B64CAD901B030032C4861507BC44B6EE
SHA-256	D5C0F7C1B0F1B4BA34A326FFFF252DE2A46C71E6B2C10CA8D8C687AF76977857
SSDEEP	1536:07LJ2F3otfWo0TCWxWMPZsbfRpZ2N8KvZRJV+PzfiM4l:6LJI3otfGBxZZslo11V+Pb4
TLSH	T156833AFD9B4E2847C3D79D3CB5B577B22323F094A2C397A3A23A063DC5D26A59E90114

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.gz
FileSize	969
MD5	5F86AAA0626045ADFC13C3BB6A3AA6E1
SHA-1	679207B4AB07B64A904C5E37FFA9D8A681ED47F6
SHA-256	DF20C012AB2891A953AF1100524B36C0CFBBA57E5583C6F2B787A2FEF375EDC8
SSDEEP	24:X84zqQtQiFizxArNunqvpmcmd4e9HiVVNk+8Y9xp/:XgiprIuIc1e9EVlJZ
TLSH	T1A211C891F4336E47C2B025FC783E6B4580BE219C251D1F30CD96A384C69AFA9D5DF54A

Key	Value
FileName	./usr/bin/picomus
FileSize	76000
MD5	1B0D83FCE11E24C3D0837EA431691755
SHA-1	00F9A02C88C7F70C1614529112B6117ADF51F72E
SHA-256	2BDA396000B67416FE59F026AC15BF3D3C70FE66F446781969EADB1BF8251B70
SSDEEP	1536:4p/u78e2F3otRWz8TBWhWMPhevMplCN8KvrcsqBm7bpafo:4xk8eI3otRP4hZh/g1ZqBE3
TLSH	T19C737C589E8F7957D3C7E77CE5A52BA2323734E9B72391A2B016022DE5C7E9293E0005

Key	Value
FileName	./usr/bin/picosat
FileSize	84224
MD5	4F0231505232D11F07844126B177ACB9
SHA-1	709200D1EF9034C58F2446E91F1A5C7BACDB893C
SHA-256	4B2C8092C23C2374F1055C8FB4C2960D7731F034EF23AAD6374832B0CB203DD0
SSDEEP	1536:6CQP+AtgCAjKCnxwoH7+7uG2F3ot1OWeYT3W/WMPNS6MtpYIN8Kvrq4bKhzQ0lAq:nQP+AaCAjKCnxwoH70uGI3ot1O06/ZNN
TLSH	T122838E8D9A8F7853C3C7E67CE5A50B61727734ADF32391B27425432DE6C2E92E6E0101

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.so.1.0.0
FileSize	71744
MD5	5B443628CABD1B64557C62166EEE687E
SHA-1	AD04E76080BCF84B37C9136FAD9B5B85F7AD1C03
SHA-256	1CF956EE2D425C7DB740359551E135FDBEDDF03E6D7D132EC4ABD7B4DD3D32CE
SSDEEP	1536:fu2F3ot8c/DCmM4SFw7FxVhevUmSAL1s5IFpN5VOmhBINcEmQU8IIB:fuI3otLDCeSFWFxV+U6TfpWdmQV
TLSH	T1D2637D69E94E7D63C3C7EA7CD5A957B2323774E5F213D4A2A029032ED9C2BD293E4140

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/changelog.Debian.arm64.gz
FileSize	216
MD5	3397E66663C48C862E7E47AC10BBD16B
SHA-1	17C82B1168F1DA5AD71D183B132B8003FF18CD40
SHA-256	A5C1A0FED6F9DA299D2C3E64BFED64A9835CE4EBBAA2AA98E5FF83EE80DE5E71
SSDEEP	3:FttsYBFRUQws7WBiG3UI5AAgZ9lW8CE32I9OHbxzWwiwvm6emLIjT+/TC1Eu/n:Xt+IWdkh/cuJ8z/isVLIqCz
TLSH	T113D0237741002513DC753B72C52D1ADD251B79AD6585C3160837D137E15C47DD2E5855

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