Environment

The following software was available on all workstations:

To try out BOI'2014 environment, follow instructions at https://github.com/lmio/liox.