Download NuSMV


You can download the NuSMV binary code by clicking on one of the following links. Before downloading NuSMV please read carefully the license.


Version 2.5.4

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.4-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.4-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.4-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-2.5.4-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.4-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.4-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.4-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.4-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.4-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.4-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.4-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.4-x86_64-w64-mingw32.zip




Version 2.5.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.3-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.3-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.3-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-2.5.3-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.3-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.3-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.3-i386-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.3-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.3-i386-pc-mingw32.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.3-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.3-i386-pc-mingw32.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.3-x86_64-w64-mingw32.zip



Version 2.5.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.2-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.2-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.2-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.2-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.2-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.2-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.2-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.2-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.2-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.2-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.2-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.2-x86_64-w64-mingw32.zip


Version 2.5.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.1-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.1-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.1-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.1-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.1-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.1-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.1-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.1-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.1-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.1-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.1-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.1-x86_64-w64-mingw32.zip


Version 2.5.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-2.5.0-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.5.0-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-2.5.0-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-2.5.0-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-2.5.0-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-2.5.0-x86_64-w64-mingw32.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) 32-bit RH-5 NuSMV-zchaff-2.5.0-i686-redhat-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.5.0-x86_64-redhat-linux-gnu.tar.gz
Windows installer 32-bit (586) NuSMV-zchaff-2.5.0-i586-pc-mingw32msvc.exe
Windows installer 64-bit (x86) NuSMV-zchaff-2.5.0-x86_64-w64-mingw32.exe
Windows zip archive 32-bit (586) NuSMV-zchaff-2.5.0-i586-pc-mingw32msvc.zip
Windows zip archive 64-bit (x86) NuSMV-zchaff-2.5.0-x86_64-w64-mingw32.zip


Version 2.4.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit NuSMV-2.4.3-i686-pc-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.4.3-x86_64-linux-gnu.tar.gz
Windows installer (586) NuSMV-2.4.3-i586-pc-mingw32msvc.exe


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) NuSMV-zchaff-2.4.3-i686-pc-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.4.3-x86_64-linux-gnu.tar.gz
Windows installer (586) NuSMV-zchaff-2.4.3-i586-pc-mingw32msvc.exe


Version 2.4.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) 32-bit NuSMV-2.4.2-i686-pc-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-2.4.2-x86_64-linux-gnu.tar.gz
Windows installer (586) NuSMV-2.4.2-i586-pc-mingw32msvc.exe


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) NuSMV-zchaff-2.4.2-i686-pc-linux-gnu.tar.gz
GNU/Linux libc6 (x86) 64-bit NuSMV-zchaff-2.4.2-x86_64-linux-gnu.tar.gz
Windows installer (586) NuSMV-zchaff-2.4.2-i586-pc-mingw32msvc.exe


Version 2.4.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) NuSMV-2.4.1-i686-pc-linux-gnu.tar.gz
Windows installer (586) NuSMV-2.4.1-i586-pc-mingw32msvc.exe
Windows archive (586) NuSMV-2.4.1-i586-pc-mingw32msvc.zip


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) NuSMV-zchaff-2.4.1-i686-pc-linux-gnu.tar.gz
Windows installer (586) NuSMV-zchaff-2.4.1-i586-pc-mingw32msvc.exe
Windows archive (586) NuSMV-zchaff-2.4.1-i586-pc-mingw32msvc.zip


Version 2.4.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
GNU/Linux libc6 (686) NuSMV-2.4.0-i686-pc-linux-gnu.tar.gz
Windows installer (586) NuSMV-2.4.0-i586-pc-mingw32msvc.exe
Windows archive (586) NuSMV-2.4.0-i586-pc-mingw32msvc.zip
Mac OS X NuSMV-2.4.0-powerpc-apple-darwin7.9.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

GNU/Linux libc6 (686) NuSMV-zchaff-2.4.0-i686-pc-linux-gnu.tar.gz
Windows installer (586) NuSMV-zchaff-2.4.0-i586-pc-mingw32msvc.exe
Windows archive (586) NuSMV-zchaff-2.4.0-i586-pc-mingw32msvc.zip
Mac OS X NuSMV-zchaff-2.4.0-powerpc-apple-darwin7.9.0.tar.gz


Version 2.3.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.3.1-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.3.1-i686-pc-mingw32.tar.gz
NuSMV-2.3.1-i686-pc-mingw32.zip
Mac OS X NuSMV-2.3.1-powerpc-apple-darwin8.3.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.3.1-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.3.1-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.3.1-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.3.1-powerpc-apple-darwin8.3.0.tar.gz


Version 2.3.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.3.0-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.3.0-i686-pc-mingw32.tar.gz
NuSMV-2.3.0-i686-pc-mingw32.zip
Mac OS X NuSMV-2.3.0-powerpc-apple-darwin8.1.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.3.0-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.3.0-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.3.0-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.3.0-powerpc-apple-darwin8.1.0.tar.gz


Version 2.2.5

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.5-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.5-i686-pc-mingw32.tar.gz
NuSMV-2.2.5-i686-pc-mingw32.zip
Mac OS X NuSMV-2.2.5-powerpc-apple-darwin7.8.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.5-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.5-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.5-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.2.5-powerpc-apple-darwin7.8.0.tar.gz


Version 2.2.4

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.4-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.4-i686-pc-mingw32.tar.gz
NuSMV-2.2.4-i686-pc-mingw32.zip
Mac OS X NuSMV-2.2.4-powerpc-apple-darwin7.8.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.4-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.4-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.4-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.2.4-powerpc-apple-darwin7.8.0.tar.gz


Version 2.2.3

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.3-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.3-i686-pc-mingw32.tar.gz
NuSMV-2.2.3-i686-pc-mingw32.zip
Mac OS X NuSMV-2.2.3-powerpc-apple-darwin7.7.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.3-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.3-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.3-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.2.3-powerpc-apple-darwin7.7.0.tar.gz


Version 2.2.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.2-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.2-i686-pc-mingw32.tar.gz
NuSMV-2.2.2-i686-pc-mingw32.zip
Mac OS X NuSMV-2.2.2-powerpc-apple-darwin7.4.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.2-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.2-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.2-i686-pc-mingw32.zip
Mac OS X NuSMV-zchaff-2.2.2-powerpc-apple-darwin7.4.0.tar.gz


Version 2.2.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.1-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.1-i686-pc-mingw32.tar.gz
NuSMV-2.2.1-i686-pc-mingw32.zip
Solaris 2.7 (Ultra Sparc) NuSMV-2.2.1-sparc-sun-solaris2.7.tar.gz
Mac OS X NuSMV-2.2.1-powerpc-apple-darwin7.4.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.1-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.1-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.1-i686-pc-mingw32.zip
Solaris 2.7 (Ultra Sparc) NuSMV-zchaff-2.2.1-sparc-sun-solaris2.7.tar.gz
Mac OS X NuSMV-zchaff-2.2.1-powerpc-apple-darwin7.4.0.tar.gz


Version 2.2.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.2.0-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-2.2.0-i686-pc-mingw32.tar.gz
NuSMV-2.2.0-i686-pc-mingw32.zip
Solaris 2.7 (Ultra Sparc) NuSMV-2.2.0-sparc-sun-solaris2.7.tar.gz
Mac OS X NuSMV-2.2.0-powerpc-apple-darwin7.4.0.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

Linux libc6 (x86) NuSMV-zchaff-2.2.0-i686-pc-linux-gnu.tar.gz
Windows with mingw (x86) NuSMV-zchaff-2.2.0-i686-pc-mingw32.tar.gz
NuSMV-zchaff-2.2.0-i686-pc-mingw32.zip
Solaris 2.7 (Ultra Sparc) NuSMV-zchaff-2.2.0-sparc-sun-solaris2.7.tar.gz
Mac OS X NuSMV-zchaff-2.2.0-powerpc-apple-darwin7.4.0.tar.gz

Version 2.1.2

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.2_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.2_CYGWIN_98-4.10-i686.tar.gz
NuSMV-2.1.2_CYGWIN_98-4.10-i686.zip
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.2_SunOS-sun4u.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.2-zchaff_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.2-zchaff_CYGWIN_98-4.10-i686.tar.gz
NuSMV-2.1.2-zchaff_CYGWIN_98-4.10-i686.zip
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.2-zchaff_SunOS-sun4u.tar.gz


Version 2.1.1

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.1_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.1_CYGWIN_98-4.10-i686.tar.gz
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.1_SunOS-sun4u.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.1-zchaff_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.1-zchaff_CYGWIN_98-4.10-i686.tar.gz
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.1-zchaff_SunOS-sun4u.tar.gz


Version 2.1.0

Without ZCHAFF

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.0_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.0_CYGWIN_98-4.10-i686.tar.gz
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.0_SunOS-sun4u.tar.gz


With ZCHAFF

ZCHAFF is for non-commercial purposes only. NO COMMERCIAL USE OF ZCHAFF IS ALLOWED WITHOUT WRITTEN PERMISSION FROM PRINCETON UNIVERSITY. Please contact Sharad Malik (malik@ee.princeton.edu) for details.

OS Type (architecture) Binary code v2 (LGPL license)
Linux libc6 (x86) NuSMV-2.1.0-zchaff_Linux-i686.tar.gz
Windows with cygwin (x86) NuSMV-2.1.0-zchaff_CYGWIN_98-4.10-i686.tar.gz
Solaris 2.6 (Ultra Sparc) NuSMV-2.1.0-zchaff_SunOS-sun4u.tar.gz


Old versions

OS Type (architecture) Binary code v2 (LGPL license)Required libraries, as printed by executing the
"ldd ./NuSMV" Unix command
Linux libc6 (x86) NuSMV-2.0.3_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Windows with cygwin (x86) NuSMV-2.0.3_CYGWIN_98-4.10-i686.tar.gz  
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.3_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.2_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Windows with cygwin (x86) NuSMV-2.0.2_CYGWIN_98-4.10-i686.tar.gz  
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.2_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.1_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Solaris 2.6 (Ultra Sparc) NuSMV-2.0.1_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc6 (x86) NuSMV-2.0.0_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2

OS Type (architecture) Binary code v1.1 (proprietary license)Required libraries, as printed by executing the
"ldd ./NuSMV" Unix command
Solaris 2.5 (Sparc) NuSMV-1.1_SunOS-sun4m.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Solaris 2.6 (Ultra Sparc) NuSMV-1.1_SunOS-sun4u.tar.gz libm.so.1, libreadline.so, libc.so.1, libdl.so.1
Linux libc5 (x86) NuSMV-1.1_Linux-i586.tar.gz libm.so.5, libreadline.so.2, libtermcap.so.2, libc.so.5
Linux libc6 (x86) NuSMV-1.1_Linux-i686.tar.gz libm.so.6, libreadline.so.3, libtermcap.so.2, libc.so.6, /lib/ld-linux.so.2
Linux libc6 (x86) NuSMV-1.1_Linux-i686_nr.tar.gz libm.so.6, libc.so.6, /lib/ld-linux.so.2


If you want to subscribe to one of the NuSMV mailing lists, please click here,.
NuSMV <>