Thank you for your response. Now it's working.
-Mukesh Tiwari
On Mon, Jul 1, 2013 at 8:32 PM, Levent Erkok erk...@gmail.com wrote:
SBV should be able to pick up Z3 from your path; make sure the z3
executable is in it and you can invoke it from your shell. Alternatively,
you can use the
Hello all,
Not directly related to Haskell but I am trying to install Z3 to use SBV
package[1]. I followed the instructions[2] to install it.
*Mukeshs-MacBook-Pro:SMT mukeshtiwari$ git clone
https://git01.codeplex.com/z3 -b unstable
Cloning into 'z3'...
remote: Counting objects: 16070, done.
I also tried installing Yices[1] but still getting same error. I followed
the instructions but still the same error. Seems like I am missing some
crucial details about path but not able to resolve it.
Mukeshs-MacBook-Pro:SMT mukeshtiwari$ cd yices-2.1.0/
Mukeshs-MacBook-Pro:yices-2.1.0
Finally I got the Yices working by adding yices-2.1.0/bin to my path. Still
looking to resolve Z3.
Regards,
Mukesh Tiwari
On Mon, Jul 1, 2013 at 3:42 PM, mukesh tiwari
mukeshtiwari.ii...@gmail.comwrote:
I also tried installing Yices[1] but still getting same error. I followed
the
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
On Mon, Jul 1, 2013 at 8:34 AM, Johannes Waldmann
waldm...@imn.htwk-leipzig.de wrote:
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.
Only applicable on Linux (and setting
SBV should be able to pick up Z3 from your path; make sure the z3
executable is in it and you can invoke it from your shell. Alternatively,
you can use the SBV_Z3 environment variable to point to the executable
itself, if adding it to your path is not desirable for whatever reason.
Let me know if