在OSX上运行NuSMV [英] Running NuSMV on OSX

问题描述

我已经使用所提供的自述安装NuSMV，但是当我尝试使用NuSMV命令，我得到以下信息：
-bash：NuSMV：找不到命令

I have installed NuSMV using the readme provided, however when I try to use the NuSMV command, I get the following message: -bash: NuSMV: command not found

有没有这个互联网上的大量信息，所以我倒是AP preciate任何帮助

There isn't much information on the internet about this, so I'd appreciate any help

推荐答案

将我的主目录，并创建一个新的bash的个人资料，并与NuSMV可执行附加的bin目录使得它工作得很好。

Going to my home directory, and creating a new bash profile and appending the bin directory with the NuSMV executable made it work just fine.

这篇关于在OSX上运行NuSMV的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！