Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.