Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added one more CVC4 option that helps Judgment Day (10 theory version)
authorblanchet
Mon, 24 Nov 2014 12:35:13 +0100
changeset 59045 1da9b8045026
parent 59044 c04eccae1de8
child 59046 db5a718e8c09
added one more CVC4 option that helps Judgment Day (10 theory version)
src/HOL/SMT.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/SMT.thy	Mon Nov 24 12:35:13 2014 +0100
+++ b/src/HOL/SMT.thy	Mon Nov 24 12:35:13 2014 +0100
@@ -230,7 +230,7 @@
 *}
 
 declare [[cvc3_options = ""]]
-declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call --inst-no-entail"]]
+declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call --inst-no-entail --term-db-mode=relevant"]]
 declare [[verit_options = ""]]
 declare [[z3_options = ""]]
isabelle