If you want compile NuSMV with the latest versions of SAT solvers (minisat minisat2-070721 and zchaff), follow these steps. For the newest NuSMV 2.5.0 they are no longer necessary !
-
download NuSMV for the NuSMV home page and unzip in a directory of your choice (called NUSMV_HOME).
-
download this zip file and unzip in NUSMV_HOME. It will overwrite the original NuSMV files for MiniSAT and zchaff.
-
download the latest version of Minisat from http://minisat.se/MiniSat.html. The latest version of Minisat 2 is minisat2-070721. Put the file in NUSMV_HOME/MiniSat/ and cd in it. Compile as usual (build.sh).
-
download the latest version of zchaff. For 32 bit the latest version is 2008.10.12. Put the file in NUSMV_HOME/zchaff and cd in it. Compile as usual (build.sh). (my files are necessary only for the 32 bit version)
-
compile the cudd library
-
run in the nusmv NUSMV_HOME diretory ./configure –enable-minisat –enable-zchaff and compile