Termination Competition 2016 Registration
From Termination-Portal.org
Revision as of 11:26, 30 July 2016 by J.waldmann (talk | contribs) (Created page with "For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in. [http://nfa.imn.htwk-le...")
For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in.
For registration and updates, use the templates linked at the top of the status page, or last year's.
