1. Download Jason here and unzip it

  2. Make sure you have JASON_HOME properly set (it should have the directories libs and scripts inside), then setup the PATH:

    export PATH=$JASON_HOME/scripts:$PATH
  3. The Jason IDE based on jEdit can be run with

    jason-ide
  4. Jason projects (.mas2j files) can be run with

    jason ../somewhere/some-project.mas2j