[YICES-HELP] how to use

[Bruno Dutertre]

jeenie at asagi.waseda.jp wrote:
> Now, I want to use Yices, but I wonder how to install it,,and how to use.
> I have downloaded the yices for linux,,and my linux is Ubuntu.
> Could you please tell me the procedure to get start??
> Thank you..
> 

Hello,

I'm assuming you've followed the instructions on the download page,
and you've saved and untarred the file as follows:

    tar xvzf yices-1.0.9-i686-pc-linux-gnu.tar.gz

This will create a directory called yices-1.0.9 with several
subdirectories. The executable will be yices-1.0.9/bin/yices
To use it, check the documentation at

   http://yices.csl.sri.com/documentation.shtml

It explains how to run yices and how to write specifications.

Bruno