Homebrew/homebrew-headonly — pull request #7 by mkmks (2013-03-31 16:09:59+00:00)
Title: Add MiniSat and its C bindings

The last tagged release of MiniSat is too old to be useful. This brew also builds the shared library and bindings.