Module parser

SyGuS-IF parsing

Modules

check

Contains parser for expression, def-fun, and a structure used for checking correctness

config

Parser for specific configuration in extended SyGuS-IF

ioexamples

Parser for examples

problem

Parser for Sygus Problem

prod

Parser for Production Rule