SMV in this directory is a beta SMV r2.5 with the added features (on
top of 2.4):

	- A lot of additional options to have more control over the
          verification;

	- Signal handling, and in particular, on-the-fly toggle of
	  dynamic variable reordering;

	- On-the-fly evaluation of AG specs (-early option);

	- Printing BDDs as propositional formulas;

	- Emacs library for SMV mode (file smv-mode.el), etc.

Check the NEW file for more details.

Notice that these added features are still experimental code.
The SMV code is stable, but the newly added features may be not.
