SyGuS-Comp'19 Solver Registration
Please provide the information requested below to help us locate your solver on the StarExec server. For any clarification or further details, please feel free to contact the organizers at:

We encourage the tool developers to make their solvers open-source, but participants are welcomed to submit binaries of proprietary tools as well.

For more details, please visit the SyGuS website:

Trying to submit benchmarks instead? Use this form:

Email address *
Competition track(s) *
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. - Terms of Service