No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
benchmarks
docs
parser/synthlib2parser
solvers
README.md

README.md

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