From b5b9b1e3cd851d3aa16c2e057c19c549c12712c6 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 28 Sep 2015 14:19:14 +0200
Subject: [PATCH] new CVC4 option
---
src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala b/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
index 3e05c3ee3..0771504fa 100644
--- a/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
+++ b/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
@@ -20,6 +20,7 @@ class CVC4SygusSolver(ctx: LeonContext, pgm: Program, p: Problem) extends SygusS
Seq(
"-q",
"--cegqi-si",
+ "--cbqi-sym-lia",
"--macros-quant",
"--lang", "sygus",
"--print-success"
--
GitLab