Installation instructions

Ubuntu 14.04 Trusty

A ppa-hosted binary installer is available 14.04 Trusty, so installation is as simple as:

sudo add-apt-repository ppa:damjan-miklic-larics/assisi
sudo apt-get update
sudo apt-get install assisi-arena-ui

Other platforms

On all other platforms, installation from source is currently the only option.