SyGuS language

Language developed to specify syntax-guided synthesis (SyGuS) problems. Used by the SyGuS competition. https://sygus.org/language/
Specification format SyGuS

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.