NuSMV <
>|
You can download the NuSMV binary code by clicking on one of the following links. Before downloading NuSMV please read carefully the license. |
| OS Type (architecture) | Binary code v2 (LGPL license) |
|---|---|
| GNU/Linux libc6 (686) 32-bit | NuSMV-2.6.0-linux32.tar.gz |
| GNU/Linux libc6 (x86) 64-bit | NuSMV-2.6.0-linux64.tar.gz |
| MacOSX Darwin (x86) 64-bit | NuSMV-2.6.0-macosx64.tar.gz |
| Windows archive 32-bit (586) | NuSMV-2.6.0-win32.tar.gz |
| Windows archive 64-bit (x86) | NuSMV-2.6.0-win64.tar.gz |
|
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 | NuSMV-2.6.0-zchaff-linux32.tar.gz |
|---|---|
| GNU/Linux libc6 (x86) 64-bit | NuSMV-2.6.0-zchaff-linux64.tar.gz |
| MacOSX Darwin (x86) 64-bit | NuSMV-2.6.0-zchaff-macosx64.tar.gz |
| Windows archive 32-bit (586) | NuSMV-2.6.0-zchaff-win32.tar.gz |
| Windows archive 64-bit (x86) | NuSMV-2.6.0-zchaff-win64.tar.gz |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 |
|
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 |
| 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 < > |