SHA256 (MiniSat.pdf) = Uxl9vXg8kkomJ9deMFcGKXmISUJlvV5eyHOEDl15esQ= SHA256 (minisat-2.2.0.tar.gz) = kpV9hRzcO63f4HtfyA7VoCN8SJ0MUq5y9ihEs7RteAg= SIZE (MiniSat.pdf) = 327416 SIZE (minisat-2.2.0.tar.gz) = 43879
