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.
pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
authorblanchet
Thu, 03 Aug 2017 23:43:17 +0200
changeset 66323 c41642bc1ebb
parent 66322 bdf4d5408b01
child 66324 859b66d75dff
pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
src/HOL/SMT.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/SMT.thy	Thu Aug 03 23:43:17 2017 +0200
+++ b/src/HOL/SMT.thy	Thu Aug 03 23:43:17 2017 +0200
@@ -246,7 +246,7 @@
 \<close>
 
 declare [[cvc3_options = ""]]
-declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call --inst-no-entail --term-db-mode=relevant"]]
+declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call --inst-no-entail --term-db-mode=relevant --multi-trigger-linear"]]
 declare [[verit_options = ""]]
 declare [[z3_options = ""]]
isabelle