Result for 5875BB59629D635C5EFF610B32BA59578773E133

Query result

Key	Value
FileSize	113690
MD5	51652A4127047680A347DB3E9DC8DB9E
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
SHA-1	5875BB59629D635C5EFF610B32BA59578773E133
SHA-256	7A78A166474EB7479C9D98C4054361934AB38B96610E872C3E195820D177A06C
hashlookup:children-total	13
hashlookup:trust	50

Network graph view

Children (Total: 13)

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

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	99118
MD5	8838119EAA98D1373700CC7946B23BED
SHA-1	E97F472C40F5083368211D4BA0E3F36F15C49053
SHA-256	08AFA4B44568E93E8D74F59A851C5B1ACB6A86FF01E20F59A382A78DAE3B7A1C
SSDEEP	1536:Qzr11XaCnSJ42iGv1QUAB6mr+MedIfntfG86:kjXjnW4231QUAB6mr+Le
TLSH	T1FAA3F843B800D75AC6D0AABBB7D9871933225F38E2C67701D4254A25B7FF1F90D68A93

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	86072
MD5	A80D30A2591FC93EC1E78F73715A3C75
SHA-1	36651C753B6F7EBC7247BF7747EAAE8C4FC0F5A3
SHA-256	C3541C2E56AA538CB0560BE6E4887E01836AC1CE80AACE8411E9884F0738F8F3
SSDEEP	1536:MZMaK3ekhlPsgKERW/raGmfD/y/nqvOvnIwYEMmkPJtx93+e13YyYM:uMaGnRWzaGmfbyQgYEbkhLmyf
TLSH	T1B0832987EC018B62C6C12AFAF69E434573131F2CD1CA7759C9391E21E7D70EB4979A82

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	88790
MD5	CEC27761E0AFE682F47A01E9209C0BDB
SHA-1	B55B27A8103B92A72DF8FC269D58178C41203B61
SHA-256	77F6DF8CB976176DC54BEEBC31600151AAC5FBAAC7552A239466A76AC29D3F67
SSDEEP	1536:77e9UjUzRxmQHmmVtH1xq4iL7QiPPHJw1c+XKg0OrayyLU:3e9PzDJmctLqpL7PnJqagnr
TLSH	T18983F743BD40DB5AC5C1AABBFB9A870833270F28C3CA775185350A15B6FF2F90965A53

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	98004
MD5	14ECA832A7F001C64EF5429287091FF4
SHA-1	431D477750E13BBDF2B8A1946F66882DE7EF83F3
SHA-256	FC2E1FBF6A3C9CDCAB0664BC17D0F83893C4C0B4EE69D52246E06919C9DB4AD2
SSDEEP	1536:lArJVcYJDLhoIXfVngU4HiGv1QAABhYm/+NGG7X5cy0+YU7U:SrJW6nfXtnV4H31QAABhYm/+J/W
TLSH	T167A32B87A8018B63C2C12BBEF7AE435973231F7CD2C97209CD251E25B3CB59A45B5A52

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	85412
MD5	B07C3E1DCD8D3223B7364657871F6D66
SHA-1	4B974907ADDF5484EE32227EBA6922CF69837F06
SHA-256	B0677B404A8CAE7FB30EF7310879F4DD7BCAD4657A0439CEAA2BC2E24D0EC322
SSDEEP	1536:6+4s769UjUCR2t3wI7VIH1wqciLPQi4TE5Z6XeepARCu7YMu:/f69PCkmIxICqdLPPFZceC4s
TLSH	T17B832A87AD00DB66C6C13ABAFB5E839833230F3CD2D972458D351E21F3D74AA0576A52

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
FileSize	90232
MD5	82CCF3F91650156723E2756C4D139938
SHA-1	BAA3AC0C4183CDA00731A5B892B05E9F5DB88BED
SHA-256	653CF4375FEC9BA120D6BA9C2B683D02E8DA6135FB2BD24C0B2CA26E15B18F97
SSDEEP	1536:MMorRUfc5v49UjUWRCM+G0nVTH1SqxiLXQiAaFW4PhfuiCrCjoYO7N:MMotUO49PW8E0VTgqILXP0ANMCsx
TLSH	T13A931987AD018B66C2C13BBBFBAE435833231B3CD2D972188D351E21F3D759A45B5A52

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	78972
MD5	B8083E7ECF7D314173A74C319EB2C763
SHA-1	0603230355A77DA50153C3E4CB4D59880CDB0459
SHA-256	2ACD1E255BC0059D825FC8C118CC94673F08AA8E0E50CAF0790C8490BD5A7F45
SSDEEP	1536:f54tq5kIsgmuE41+NEyEwL8maluYKDtM1CgUv+/d7f18PYz:xkgkZuj1ufL8maluqIM
TLSH	T1AA733B87EC41CB53C6C12DBAFA9E434873131F2CD1DA76588E395E31E7D70AA0A75A81

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