mxcl/homebrew — pull request #13199 by zenzike (2012-07-04 10:24:23+00:00)
Title: New formula: prover9

This is an initial commit which installs prover9 and its related
binaries, and then does some basic testing.