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