"MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT." [http://minisat.se] Closes Homebrew/homebrew#8011. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
