Installing-z3-haskell.md

+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`
\ No newline at end of file