[YICES-HELP] help with yices installation

[Artur Boronat]

Dear yices-help, 

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,
Artur

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/yices-help/attachments/20100702/fdedf831/attachment.html