Change log

MiniZinc · Feb 6, 2017 · 40975bb · 40975bb
1 parent 6243a92
commit 40975bb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -10,8 +10,13 @@ Version 2.1.3
 
 Changes:
  - Remove more internal annotations from the generated FlatZinc.
+ - Detect failure earlier if optimisation pass leads to fixing of variables
+   outside their domains.
 
 Bug fixes:
+ - Fix CBC backend to correctly print UNSAT message for models where the
+   compiler already detected unsatisfiability, and print solution separators
+   even where there is no other output.
  - Add missing var_dom function for arrays of optional integer variables.
    Fixes #133.
  - Fix aliasing for optional integer variables. Fixes #132.