Contact Us


The annual SyGuS competition (SyGuS-Comp) is organized by:

The competition was initiated as part of the NSF ExCAPE grant #1138996.

Organizers are allowed to participate in the competition as long as

Organizers are allowed to submit new benchmarks, conditioned they are submitted a month before benchmark submission deadline. These benchmarks will be made public immediately.