Installing-z3-haskell.md

+## Windows
+
 1. Download the [latest z3 4.x release](https://github.com/Z3Prover/z3/releases/latest) (make sure to match your GHC architecture, in my case `z3-4.5.0-x64-win.zip`).
 2. Extract the zip somewhere (`c:\z3-4.5.0-x64-win`)
 3. `cabal install z3 --extra-include-dirs=c:\z3-4.5.0-x64-win\include --extra-lib-dirs=c:\z3-4.5.0-x64-win\bin`
+
+## OSX
+
+1. `brew install z3`
+2. `cabal install z3`
\ No newline at end of file