mxcl/homebrew — pull request #12702 by mkmks (2012-06-09 16:33:27+00:00)
Title: minisat-dev

Added headers and shared libraries to the minisat brew. They were necessary to build C bindings for minisat, which I wrote a brew for.