Re: [Haskell-cafe] Installing Z3 on OS X 10.8.4 ( Off topic )

Unable to locate executable for z3

well, do you really have z3 in the $PATH? what does 'which z3' answer? I used this for installation of z3: python scripts/mk_make.py --prefix=/usr/local and note that the install script says: Z3 shared libraries were installed at /usr/local/lib, make sure this directory is in your LD_LIBRARY_PATH environment variable. - J.W.