Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper. - View it on GitHub