1

提供された readme を使用して NuSMV をインストールしましたが、NuSMV コマンドを使用しようとすると、次のメッセージが表示されます: -bash: NuSMV: command not found

これについてはネット上にあまり情報がありませんので、お役に立てれば幸いです

4

2 に答える 2