GeN Project

An open source project for learning programs that satisfy various types of constraints. The system is still under development.