which [-h] <file_name>
Looks for a file in a set of directories which includes the current directory as well as those in the NuSMV path. If it finds it, it reports the path. The path is specified through the "set open_path" command in the .nusmvrc.
Command options: