Result for 332CCA54D12EE28E2EEF648A6A5F706C021194CF

Query result

Key	Value
FileSize	112930
MD5	A2663EF7EB36F669CE18B26FC2BA3FE8
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	332CCA54D12EE28E2EEF648A6A5F706C021194CF
SHA-256	60FCA7C7481E1DB2D2E1205EC078FA434E36D474062F4BF40AD278989797F0F6
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/lib/libpicosat-trace.so.1.0.0
FileSize	100480
MD5	D37ABE42419CFD88D228A98E233F1DC5
SHA-1	2280C8CFF8206CC5139736B9BBDE5452F12CC8D0
SHA-256	1E6FF9B5ED318F8DC03D00848827435CFF4A4FCB346A40ED2F0E2153885C68D1
SSDEEP	3072:tTFQqFhTTPQkq9BSco6uN5UtMS+UaVg9t:7xPQkMBSz6uUtMS+NVg
TLSH	T10FA3098BA610C256C9B47E37D2AB67F7532774341AC76E1CA6E9CB2B4CE31800A05773

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/share/doc/picosat/changelog.Debian.s390x.gz
FileSize	211
MD5	A653F8225107AC1B54526A53AA4D4CAB
SHA-1	E09BC49EBF81B6493A0AF6916FF5EB9C4553D76C
SHA-256	91E909553276B9F42665F0DB43D93D93A8AB2710A88399E97BCA551D14F40D2D
SSDEEP	6:XtqPcwcOh9HFOvbnS50tFHu+8UMrvAJ4ryJwcNEp:XbDOh9HwnSm8+3Mroir0BEp
TLSH	T154D0A7B58757B82359414E78934E4146880A58780AE1E88449135C650C0C41A195752E

Key	Value
FileName	./usr/bin/picomus
FileSize	104744
MD5	D8E41EB3AFCB51C6ADEDE83530142245
SHA-1	63543AB52C25CC591D0203FD26CFC412BA67CDA9
SHA-256	C29C3F172F25D5BB5817E5EDC89A981A29CFF2122EC1BF4C266D3B97B0B3E9C5
SSDEEP	1536:cpWoQcS/nB1+m9QxdzLFKhD3Z//iKcov0a6rIpImMxzf47P+:cpWoQxnB1+aQhKJ3Tc+0a6rIpImiY
TLSH	T12EA3D68BAA10C296D9703E77D6AF67F79327343419CA7E1CABD5DB2B48931800A15373

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/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/lib/libpicosat-trace.a
FileSize	123266
MD5	E0F720D9BB85847A876B7C32D0451845
SHA-1	124989BFF826E7E542040B2E2AE92D7072E3EE72
SHA-256	2CEA12217E9C975E5835BA970BFF2E9985AE30CC99EDFDEA3044AAB284DF76BE
SSDEEP	3072:vbg4DvYUsCRQH/lk093VpRGta/JJ/Py63etX:vAUsCRK/lkKFpRGta/JJ/E
TLSH	T1A8C3B69F9651C547CAB03F37E6EA2BB6733760341BC72E1C95F9CB3B48922418B05662

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/bin/picosat.trace
FileSize	117096
MD5	17022B28D3E7B68F9A3AC3B0B0F482C9
SHA-1	C276932DE68778EF3BB1E31EB3E1E372372722A7
SHA-256	C34960E4B7BB2A0A0FA8ABA08769B14029398429D79F213643C1C58A5A5616CD
SSDEEP	3072:ipLIZDqO8jeTYMI8XQCiwMT/Tht3RtLh0pAu1aYA:ipLSDqhMI8XewMTbH3RtLh0pAur
TLSH	T1A0B309CBA650C296C9707E37D2AF67B7936730341EC72E1CAAD9DB2B48A31414A15733

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	96376
MD5	271D9C5C1AEAB0CFFA5E03D6B7B5402F
SHA-1	EAE2328D5275BF92E665CA59699946473A73F4B0
SHA-256	B2B12979453B6E8C91C4FAB55DC07AE4FEFA40F16FF569F1EC20A7821779B5B0
SSDEEP	1536:w4Qk0krH+QzwGm4Nx3lolKffo7wihHbo3hmw/EUs7CAd0:w4Qk7H+QzwmnWlKO7GhmwM77CAd
TLSH	T1B8930A8BA611C256C9703E77E2AB67B75327353519CA7E0CBAD9DB2F48E31800A05773

Key	Value
FileName	./usr/bin/picosat
FileSize	108896
MD5	E3A2330FA2029C0EDB41DC8C439A1EF3
SHA-1	538C8498F8E36C5CAE15CE472145218FAA8801A5
SHA-256	AD34895D029DBBD7F299163CDF9355E5A4EF9065B7BAEB87F884E95DF8DE6338
SSDEEP	1536:+XOi/hENbxmH/MD3WGT9QxEeLFyAm/kDqaavoC0ae2ADJ5zZvy:Q5Ebx4MDGGZQzyt/xvz0ae2ADjz
TLSH	T13AB308CBAA20C299C9703E77D2AF67B7936730341EC67E1CAAD9CB2B48931404615773

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.a
FileSize	114082
MD5	9524C7DE475B74DA722778456FDCC931
SHA-1	82C7AE3C377302C7CFB086BA6DE801E472886792
SHA-256	4F572A4D608E68254138F33C81281836F294DE99922EEA8AC310362DE7F77439
SSDEEP	1536:3SJ/vqYl/J9QxaQLFEEFweufPTr+oX1axLXonKVgM0Ooc:3OvqYlXQfEiwHr+i1axLXonCWOoc
TLSH	T197B3B68B9A10C157C6B03F77E6EB6BB6733770341BC76F1C96E9DB3A48922418605272

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