Termination Competition Web Interface

This is a light-weight StarExec presenter using PHP.

Registration

The registration procedure is as follows.

Register at StarExec:
1. Join the Termination Community: Please provide sufficient information so that the organizer can identify you, and be convinced that you will use StarExec for research related to termination.
2. Upload your solver to a space where the organizer can read (e.g. a public space), and remember configuration ids.
Edit Y20XX/info.php, where 20XX is the current year, so that a line
```
     'Tool' => 1234,
```
is in the 'participants' component of the category you participate, where Tool is replaced by a short name of your tool and 1234 by the configuration id. Then please make pull request.
If your tool has participated in the previous year, please remove the comment lines
```
    // 'Tool' => 1234,
```
for your last year's configuration.