<div dir="ltr"><div>Thank you for your response. Now it's working. <br><br></div>-Mukesh Tiwari<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jul 1, 2013 at 8:32 PM, Levent Erkok <span dir="ltr"><<a href="mailto:erkokl@gmail.com" target="_blank">erkokl@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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.<div>
<br></div><div>Let me know if you still have issues.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-Levent.</div></font></span></div><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">
On Mon, Jul 1, 2013 at 5:34 AM, Johannes Waldmann <span dir="ltr"><<a href="mailto:waldmann@imn.htwk-leipzig.de" target="_blank">waldmann@imn.htwk-leipzig.de</a>></span> wrote:<br>
</div><div><div class="h5"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>> Unable to locate executable for z3<br>
<br>
</div>well, do you really have z3 in the $PATH?<br>
what does 'which z3' answer?<br>
<br>
I used this for installation of z3:<br>
python scripts/mk_make.py --prefix=/usr/local<br>
<br>
and note that the install script says:<br>
<br>
Z3 shared libraries were installed at /usr/local/lib, make sure this<br>
directory is in your LD_LIBRARY_PATH environment variable.<br>
<br>
- J.W.<br>
<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div></div></div><br></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>