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.
Z3 news
authorblanchet
Wed, 08 Apr 2015 19:15:55 +0200
changeset 59965 7199ad93b744
parent 59964 5c95c94952df
child 59966 c01cea2ba71e
Z3 news
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Apr 08 19:05:57 2015 +0200
+++ b/NEWS	Wed Apr 08 19:15:55 2015 +0200
@@ -293,6 +293,8 @@
 * Sledgehammer:
   - CVC4 is now included with Isabelle instead of CVC3 and run by
     default.
+  - Z3 is now always enabled by default, now that it is fully open
+    source. The "z3_non_commercial" option is discontinued.
   - Minimization is now always enabled by default.
     Removed subcommand:
       min
isabelle