Result for 9A1FEA4C7F0782E614C9BB55C4DCD2486B477502

Query result

Key	Value
FileSize	105404
MD5	1CEB2B8FE09D9452012D059746C3020B
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	9A1FEA4C7F0782E614C9BB55C4DCD2486B477502
SHA-256	A33716C5F2D40A100C46F188B8454ED6F4ECE2DFE8298A6764795B91A4D3CA99
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.a
FileSize	66346
MD5	FA498089B3EDE2768E3A92483DCFF35B
SHA-1	158BC6F7EB8944FC4DB40A34D91574590D26FA96
SHA-256	4E98F31D685C12249A05312D3FC8FA46370F8F852C37CF72F29A879A12CB7974
SSDEEP	1536:0Hjuk7Q7X5siwbsMyafQYe5+wuH1BQxkk+EZhb:09M7JsBbP9Ze5+wg1BQ+Yb
TLSH	T1A5537C5AC2650A4FCBF1593CA0E7D2643372D708F152BBABA0FB717EE9411A41DA41E8

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	61610
MD5	6DE3B8647671E5685F275C086FDBC906
SHA-1	68A0A4B6C5B91D79A22B280B5F55C3966D46CDD0
SHA-256	C388B9753639C8AA98B5741E7A17356EF3D865F327F05D339C4AB4E06A4F5A98
SSDEEP	1536:V3naFg56akwqRT6qBzJHXBjdNWwac+bAKniu7Plh14d7W/UHb:VMg5dqRT6qBzJHXBjdNWwac+xiCPl/Rq
TLSH	T1E0536B1BD5145A0BCBE9093C10E7D3A06271E68DF186BBABB1FE717DF8852A01CB05D9

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/bin/picosat
FileSize	67228
MD5	2AF1AA1E97058CC177E37B88D0720891
SHA-1	E8EC5FFAEA9E92754572270F494C39E11603D945
SHA-256	956CC5D2DC45AB5687FB790ABA7122DA4719DC88DB82F76B37C994D094F5A8CE
SSDEEP	1536:u6it4QaPK6NFwXTfrBzJHXBjdNWwac+8O8SaSHLAqVSJ:u6EkKxXTfrBzJHXBjdNWwac+h1aCLA4a
TLSH	T1C363BE6BD012065FC399577C20E7C6A4A1F6F48DF286A37EB0BBA23AF94C310A474755

Key	Value
FileName	./usr/bin/picomus
FileSize	63108
MD5	565485B5A2F149E1566CF72962B291DD
SHA-1	B6E96BF39B432BB5FDBF60A8FAE9EF0DBEF33767
SHA-256	5D1B72E3277AD0EC1FD4DB1D136E35472EA73F60CE4B7EB49826C7B2A1D566F1
SSDEEP	1536:59E8p7Zav26mUwFTR8BzJHXBjdNWwac+xDmyirVNRVe:U8p021FTR8BzJHXBjdNWwac+OrVNje
TLSH	T18C53BF67D122242BC756633C6067D7E0B2E6E48EB149E77EB137A23BF84D7206A31614

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/bin/picosat.trace
FileSize	67236
MD5	20298DED0FAEEBB7A3278EB3268AB29C
SHA-1	D49C2C0A2BD8D34B8E71DAFF20F304718D4CBC24
SHA-256	44449D356F1BBEC370B463A20C5C819FED960D528F1DF08B7B89BFC2CFE06E52
SSDEEP	1536:+umG1s7puhYV7oGsIwT1kmbbFhnBUJhVOZ:+um/uo7XsHT1ksbUJTG
TLSH	T1F063BFAAE4260A0FC7E69B7D31F7429C32F6D949B113A33B70BBF539F65841061B4660

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/lib/libpicosat.so.1.0.0
FileSize	54788
MD5	DBCEC675ABE67E8A764F22D256213648
SHA-1	EC60B626EC6930A7F03003701157378A325561A3
SHA-256	76F1E6A996C5E302CDAADBCD03D5A532495B6CAFA5E7096C57BBF545138B42A0
SSDEEP	1536:z0a1hMXTvZGsBzJHXBjdNWwac+fmTFp2UL747jqrVR:z0a3ITcsBzJHXBjdNWwac++TFwV7WRR
TLSH	T1AF339E77D01A581FC3E55F3CA0F3C7A4E192E84AA159EDBBA23B723AFC8C2546530654

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	58892
MD5	5E45AF25B02FC5B0F7C8DF8EB93A7666
SHA-1	17BA89D6A6F89C1D739A3932A84925491BB766E5
SHA-256	59A791EDCA739D6DACE13C6C870A64A7408CEED95624BCF8B58D7D35D3941774
SSDEEP	768:HCSstFrGuyuLDdselE7D9KQrisrYyekzuOAJjrUiDxVaotmf7UYGo15FV6FohzvO:sGKdsl7plloDxIL11V5c
TLSH	T13943BFBBD0594D0BCBE6AB7CB0F7939091A6D949B153E973927BA23FF89105C6130270

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.armhf.gz
FileSize	209
MD5	3EB6E03AEBA2F5866F9C0A5643CC3C1A
SHA-1	DBE8066FF88572B4BCD4DD1551DA458E53D241D6
SHA-256	19A3007B0623FEA941E1E36D86FA47EC5686A6DF8C3CE8E7C3C61D32149B5852
SSDEEP	3:FtteKeecnZANImJKFRzvfjA5GLbfrmyRoxtiFh9Au7YC5V2owFYgPxtzJ5Lll:Xt5eeWANsrzvfjA5GyyRoMhkCwvV/
TLSH	T13DD0A7A34564E5676D981D7E4241C22050900274445C885530D4D841AA7D749FF05176

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