VCEGAR 1.5 BINARY INSTALLATION
	******************************

1. Download and install the Cadence SMV model checker. The website for
obtaining SMV is: http://www.kenmcmil.com/smv.html. Make sure that
Cadence SMV executable named "smv" is included in your path variable
and is working as expected.

2. Include the vcegar binary in your path variable.

3. You are ready to go!

Report problems to {hjain, kroening} AT cs DOT cmu DOT edu  

-----------------------------------------------------------------------