search

thomasjball / PyExZ3

Python Exploration with Z3
Other
323 stars 50 forks source link

MacOS with homebrew #1

Closed algobardo closed 10 years ago

algobardo commented 10 years ago

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