diff options
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ Changes since 1.4 * Support for unsat cores. * Simplification mode "incremental" no longer supported. +* Support for array constants in constraints. Changes since 1.3 ================= |