Installing z3 haskell

Windows

1. Download the latest z3 4.x release (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