[YICES-HELP] how to use
bruno at csl.sri.com
Wed May 9 11:24:46 PDT 2007
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..
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
It explains how to run yices and how to write specifications.
More information about the YICES-HELP