You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi, there is an error for compilation
I tried to compile crest in ~/crest/src using 'make'
Then, yices_solver.cc error as follows
-> fatal error: yices_c.h: No such file or directory
What version of the product are you using? On what operating system?
-> ubuntu 14.04 version 0.1.1 for crest
Please provide any additional information below.
Original issue reported on code.google.com by nix3...@gmail.com on 21 May 2014 at 2:40
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
nix3...@gmail.com
on 21 May 2014 at 2:40The text was updated successfully, but these errors were encountered: