amiltner/BurstArtifactEvaluation

Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

Please refer to $/README.pdf for instructions on installing and running the
artifact.