After building with cabal just copy the tableaux.cgi executable
to some cgi-bin directory of your web server (e.g. /var/www/cgi-bin
or ~/public_html/cgi-bin). Make sure you the web server is setup
to execute cgi binaries and that the read-exec permissions are set.

The binary is self-contained so it can be simply be moved if necessary
(no external data files are needed); it also does not write any
files while running.


Pedro Vasconcelos, 2010