Z3 news
authorblanchet
Wed Apr 08 19:15:55 2015 +0200 (2015-04-08)
changeset 599657199ad93b744
parent 59964 5c95c94952df
child 59966 c01cea2ba71e
Z3 news
NEWS
     1.1 --- a/NEWS	Wed Apr 08 19:05:57 2015 +0200
     1.2 +++ b/NEWS	Wed Apr 08 19:15:55 2015 +0200
     1.3 @@ -293,6 +293,8 @@
     1.4  * Sledgehammer:
     1.5    - CVC4 is now included with Isabelle instead of CVC3 and run by
     1.6      default.
     1.7 +  - Z3 is now always enabled by default, now that it is fully open
     1.8 +    source. The "z3_non_commercial" option is discontinued.
     1.9    - Minimization is now always enabled by default.
    1.10      Removed subcommand:
    1.11        min