问题
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
There isn't much information on the internet about this, so I'd appreciate any help
回答1:
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.
来源：https://stackoverflow.com/questions/36662953/running-nusmv-on-osx