package leon
package synthesis

object Main {
  def main(args : Array[String]) {
    new Synthesizer().test()
  }

}