/BurstArtifactEvaluation

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

Primary LanguageScalaMIT LicenseMIT

Stargazers