Formal Methods Tools

At a Glance

Applications Program Synthesizer
Developers Microsoft Research
Interfaces CLI
Licenses MIT
Maintenance Actively Maintained

Description

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.