Termination Competition 2015 Registration: Difference between revisions
J.waldmann (talk | contribs) Created page with "Registration 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, ** an..." |
J.waldmann (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
Registration is like it was last year. In short, | Registration process is like it was last year. In short, | ||
* get a starexec account, upload your solver | * get a starexec account, upload your solver | ||
| Line 5: | Line 5: | ||
** categories that you want to enter, | ** categories that you want to enter, | ||
** and for each category, the starexec IDs of your solver and config. | ** and for each category, the starexec IDs of your solver and config. | ||
Compare [[Termination Competition 2014 Registration]] | |||
Revision as of 07:08, 1 July 2015
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.