読者です 読者をやめる 読者になる 読者になる

cloverrose's blog

Python, Machine learning, Emacs, CI/CD, Webアプリなど

NuSMV 2.5.4をMacでビルド

NuSMV2.5.4をMacでビルドしました。
NuSMV2.5.3のときはソースにバグがあったので修正が必要でしたが(NuSMV 2.5.3をMacでビルド - cloverrose's blog)2.5.4では以下の手順でビルドできると思います。

cd NuSMV-2.5.4
cd MiniSat
bash build.sh
cd ../cudd-2.4.1.1
make -f  Makefile_os_x_64bit
cd ../nusmv
./configure
make
./NuSMV -help