sygus-comp14

Repository for solvers and benchmarks for the 1st Syntax-Guided Synthesis Competition at CAV 2014 (http://www.sygus.org).

Directory structure:

benchmarks: set of initial benchmarks

docs: the sygus-lib format documentation

parser: parser for sygus-lib format

format-checker: checker script for sygus benchmarks

solvers: three initial solvers -- enumerative, stochastic, symbolic