Open GoogleCodeExporter opened 9 years ago
I am facing the same problem using Ubuntu 14.04 with Crest 0.1.2 and Yices
2.2.2.
Original comment by brenoafm...@gmail.com
on 18 Nov 2014 at 2:38
I downloaded the yices_c.h from this link
https://lost-contact.mit.edu/afs/cs.wisc.edu/i386_rh62/site/unsup/yices-1.0.28/i
nclude/yices_c.h
Original comment by riwamou...@gmail.com
on 2 Dec 2014 at 10:46
Original issue reported on code.google.com by
nix3...@gmail.com
on 21 May 2014 at 2:40