Running NuSMV on OSX

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

Solution

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.

How to get string with disctinct (unique) characters from existing string in bash script?
How to list only files and not directories of a directory Bash?
Shortcut to test the exit code of a command in one line
Bash script - run process & send to background if good, or else
AWS CLI to run SQL query
python code to get (latest) file with timestamp as name to attach to a e-mail
Remove a character from the end of a variable
How can I repeat a character in Bash?
Unicode (utf-8) with git-bash
How to iterate over multiple ranges / sequences / numbers specified in var?
Add a new element to an array without specifying the index in Bash
How can I join elements of a Bash array into a delimited string?
How to insert string (or character) into another string at specified index position from the end in bash?
How do i access a deployed service's exposed port
How to get `python` to run Python 3 in WSL bash?
Loop through map keys in one line in bash
SIGINT and process substitution in bash
Create associative array in bash 3
Does all linux users are present on /etc/passwd?
Replace a record with a value zero when a specific number is not find with shellscript
Bash PWD Shortening
Convert bash array to JSON and write to file
Usage of parentheses in bash
docker entrypoint running bash script gets "permission denied"
How can I shortern my command line prompt's current directory?
Running multiple commands in one line in shell
Writing a shell script to loop and print out numbers 0-100 and if they are even or odd
Loop to print odd numbers not printing as many as it should
XOR command fails
Check if git remote exists before first push