Difference between revisions of "Termination Competition 2015 Registration"
From Termination-Portal.org
Jump to navigationJump to searchJ.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) |
||
| 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.
