microsoft / prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
https://microsoft.github.io/prose/
Other
620 stars 100 forks source link

CC synth #52

Closed annafariha closed 3 years ago

annafariha commented 3 years ago

This PR contains the source code related to the Conformance Constraints paper.