将我的主目录，并创建一个新的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.