The old GUI (xNuSMV) has been dropped from the distribution for two main reasons. First, it is not easy to port it to non-Unix (read: Microsoft Windows) architectures. Second, some design choices of xNuSMV make it difficult to extend it with the new features included in NuSMV 2. The integration of the new features required a major modification of some parts of NuSMV that make the old GUI practically unusable with the new versions of NuSMV.
The new GUI takes into account the new features provided by NuSMV 2, in particular the Bounded Model Checking. It will also solve several usability issues of the old xNuSMV.
The new GUI (called gNuSMV) is currently under development. A development snapshot can be found here. This is a pre-release version that we have used for a course at a summer school, and some functionalities have still to be implemented. Moreover, it works only on windows platforms.
We plan to release soon new development snapshots that work also on Linux.
At the moment you can download the sources of the library needed to run the binary of NuSMV under SUN Solaris at the following URL: http://nusmv.fbk.eu/readline/readline-2.0.tar.gz.
Instructions on how to compile the library are included in the
package. Once the binary was compiled move it to a directory known to
your dynamic linker (e.g. /lib /usr/lib). If you install the library
in a your own directory you have to inform the dynamic linker of the
position of the library. This is performed by setting properly the
LD_LIBRARY_PATH environment variable. In this case you should execute
the command:
setenv LD_LIBRARY_PATH $LD_LIBRARY_PATH:/opt/lib/readline/
if you are using {T}CSH, or commands:
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/opt/lib/readline/
export LD_LIBRARY_PATH
if you are using {BA}SH, assuming the library has been positioned in
the /opt/lib/readline/ directory.
>