title: installing Nusmv on linux
body: <p>I have searched in vain to see how to run NuSMV on ubuntu 16.04 .I have installed NuSMV binaries ,I have an executable NuSMV in bin folder but it won't run.I type <code>NuSMV -help</code> but cmd reports <code>NuSMV:command not found</code>.Any idea on how to run NuSMV/or is there anything like installation that I am missing? </p>