Installation guide.

1) donwload NuSMV and install it (if you want to use the simulator and the planning capability)
2) execute the tool from command line, by running within the Psalm folder the following command
    java -jar psalm.jar 
3) define your mission
4) select the mission by clicking on the button select mission when you are ready
5) click on run the Simbad simulator
6) load the environment environment0.txt