🍻 Default formulae for the missing package manager for macOS
Find a file
Libor Wagner 6df478d829 Minisat 2.2.0
"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>
2012-03-30 21:56:15 -07:00
Aliases Delete dead aliases 2012-03-25 11:06:17 +01:00
Formula Minisat 2.2.0 2012-03-30 21:56:15 -07:00