Jump to content

Termination Competition 2015 Registration

From Termination-Portal.org
Revision as of 07:05, 1 July 2015 by 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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,
    • and for each category, the starexec IDs of your solver and config.
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2015_Registration&oldid=1547"