At a Glance
Applications | Program Synthesizer |
Developers | MIT |
Interfaces | CLI |
Licenses | MIT |
Maintenance | Actively Maintained |
Description
Mostly Automated Synthesis of Correct-by-Construction Programs
Applications | Program Synthesizer |
Developers | MIT |
Interfaces | CLI |
Licenses | MIT |
Maintenance | Actively Maintained |
Mostly Automated Synthesis of Correct-by-Construction Programs