[YICES-HELP] help with yices installation
aboronat at mcs.le.ac.uk
Fri Jul 2 04:49:21 PDT 2010
I'm trying installing Yices (not Yices 2) on my laptop but I have the following problem: Yices seems to be frozen when I invoke it form command line.
I tried the following versions:
a) Mac OS X Leopard (version 10.5) for Intel, compiled in 64bit mode
on my Mac OS X 10.6 (Snow Leopard).
I downloaded it from: http://yices.csl.sri.com/cgi-bin/yices-newlicense.cgi?file=yices-1.0.28-x86_64-apple-darwin9.8.0-static-gmp.tar.gz
b) The zip file that contains Yices built with MinGW for 32bit Intel Pentium and it's statically linked against GMP
on a Windows XP
I downloaded it from: http://yices.csl.sri.com/cgi-bin/yices-newlicense.cgi?file=yices-1.0.28-i686-pc-mingw32.zip
Could you please give some further guidance on the installation of the tool?
Thanks in advance,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the YICES-HELP