The cmd package

Implements command line interface, and miscellaneous commands.

By Adapted to NuSMV by Marco Roveri



Last updated on 2006/07/31 19h:06