The following 3 solutions were submitted:
Tool | Authors |
---|---|
NTL (reference solution) | Georg Hinkel |
ATL | Frédéric Jouault, Massimo Tisi and Manuel Wimmer |
Epsilon | Dimitris Kolovos |
The solutions were scored at the contest, resulting in the following awards: