# HG changeset patch
# User blanchet
# Date 1411644657 -7200
# Node ID c1b489999de9a6882bf8cff73c09e08df06c3855
# Parent  07505e95db40d84bb56c1c9a721f197bdb8d23c1
added useful options to CVC4

diff -r 07505e95db40 -r c1b489999de9 src/HOL/SMT.thy
--- a/src/HOL/SMT.thy	Thu Sep 25 12:27:34 2014 +0200
+++ b/src/HOL/SMT.thy	Thu Sep 25 13:30:57 2014 +0200
@@ -183,7 +183,7 @@
 *}
 
 declare [[cvc3_options = ""]]
-declare [[cvc4_options = ""]]
+declare [[cvc4_options = "--full-saturate-quant --quant-cf"]]
 declare [[veriT_options = ""]]
 declare [[z3_options = ""]]