Thank you for your response. Now it's working. -Mukesh Tiwari
On Mon, Jul 1, 2013 at 8:32 PM, Levent Erkok <[email protected]> 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 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 you still have issues. > > -Levent. > > > On Mon, Jul 1, 2013 at 5:34 AM, Johannes Waldmann < > [email protected]> wrote: > >> > 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. >> >> >> >> _______________________________________________ >> Haskell-Cafe mailing list >> [email protected] >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
