Download and install the Python interpreter <Python-2.2.1.exe>.
By default the Python interpreter is installed in directory "c:\Python22".
Warning: Under certain conditions a reboot of the system may be necessary in this step.
Download and install the PyGTK wrapper provided at <PyGtk-1.99.11-libglade.win32.exe>.
If during the installation one or more error messages concerning the registry's key have popped up, simply ignore them and continue the installation.
Download provided package <gtk-2.0.6_win32.tar.gz> and
In the following, we assume that the package has been unpacked into "c:\". The unpacking operation will create directory "c:\gtk-2.0.6_win32".
and unpack it. This will create directory "gnusmv", which we assume will
be located into "c:\".
Customize file 'gnusmv.bat' (in the 'gnusmv'
directory). (Notice that if the suggested directories have been used during
the installation, then the file needs no changes.)
Execute file gnusmv.bat in order to run the NuSMV GUI.