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), 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.
