Termination Competition 2015 Registration
From Termination-Portal.org
Revision as of 07:08, 1 July 2015 by J.waldmann (talk | contribs)
Registration process is like it was last year. In short,
- get a starexec account, upload your solver
- send email to J. Waldmann with:
- categories that you want to enter,
- and for each category, the starexec IDs of your solver and config.