epfl-lara/leon — pull request #59 by colder (2014-03-17 11:18:47+00:00)
Title: Introduce --solvers option for synthesis

EnumerationSolver/Portfolio extends Incremental+Assumption. This allows the solvers to be used within Synthesis as well.

Add test for synthesis of Ground term with enum solver alone.