thomasjball/PyExZ3 — pull request #1 by algobardo (2014-06-09 13:38:56+00:00)
Title: MacOS with homebrew

MacOS setup in setup.sh.
Default locations for homebrew install of both python and z3
(brew install z3)