Skip to content
Snippets Groups Projects

Changes

Page history
  • New page
  • Templates
    • Update Installing z3 haskell authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
    Hide whitespace changes
    Inline Side-by-side
    Installing-z3-haskell.md
    View page @ 5c1defb9
    ## 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`). 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`) 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` 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
    ## OSX
    1. `brew install z3`
    2. `cabal install z3`
    \ No newline at end of file