ezcsp 2.1.1 -- Apr 27, 2021
  * Support added for gurobi (experimental).

ezcsp 2.0.1 -- Jul 28, 2018
  * Fixed bug in the generation of constraint programs.

ezcsp 2.0.0 -- May 3, 2017
  * Workaround added for sum/3 not supported in 
    B-Prolog 8.1 clp(fd).
  * Support for minizinc cp solver format added.
  * Support for ASP solvers with persistent state added
    via option --skip-denials.
  * New predicate names adopted (domain, var).
    Support added for Prolog queries and rules inside
    required(). Domain "query" added as synonym of fd.

ezcsp 1.7.9 -- November 15, 2016
  * Support for GAMS solver added via option
    --gams[:<solver>].
  * Fixed handling of escaped double quotes in
    mkatoms-style output.
  * Added abs, pow, exp, sin, cos, tan to GAMS.
  * Fixes to the pre-parsing algorithm to support
    all versions of gringo.
  * Option --relaxed-labeling added.

ezcsp 1.6.24b -- December 5, 2015
  * Typos in configuration script fixed. Thanks
    Benjamin Susman <bsusman@unomaha.edu>.

eezcsp 1.6.24 -- October 21, 2015
  * Added ** and div for numerical constraints.

zcsp 1.6.23 -- October 12, 2015
  * Cmodels support improvements.

ezcsp 1.6.22 -- October 3, 2015
  * Support for SWI-Prolog (--swiprolog) added.
  * Support for sum constraint added in Q, R, LP.
    Q and R encodings now attempt to find values
    for all variables (sound but incomplete).
  * begin_verbatim." and "#end_verbatim." added.

ezcsp 1.6.21 -- September 30, 2015
  * Detection of failure in B-Prolog's LP solver fixed.

ezcsp 1.6.20b61 -- September 28, 2015
  * Major improvements to stability and performance.

ezcsp 1.6.19 -- January 27, 2011
  * Now cspdomain(fd) is assumed by default.


ezcsp 1.6.18 -- September 17, 2010
  * Changes to improve performance on file handling.


ezcsp 1.6.17 -- September 10, 2010
  * Support for clp(r) functions pow, exp, sin, cos, tan
    added.


ezcsp 1.6.16 -- April 16, 2010
  * Generation of multiple models for domains r and q
    corrected.


ezcsp 1.6.15 -- April 15, 2010
  * Support for r and q domains revised and
    improved.


ezcsp 1.6.13 -- March 11, 2010
  * Added option --append-csp-choices to write the
    solver's choices without overwriting an existing
    file. Loading and saving of solver's choices
    modified to take into account information on
    enumeration decisions (i.e. choices about values),
    and not just selection decisions (i.e. choices
    of variables). As a result, loading and saving
    of choices is NOW SUPPORTED ONLY FOR "ff"
    SELECTION HEURISTIC.


ezcsp 1.6.12 -- February 25, 2010
  * Added options --load-csp-choices and --save-csp-choices. 
    The choices made by the constraint solver that lead 
    directly to the solution are, respectively, saved to 
    file and loaded. The choices that were later backtracked 
    upon are not saved. When the choices are loaded, the 
    constraint solver is forced to make those same choices 
    (although later it can backtrack), and the options specified 
    with label_option/1 are ignored (options used are
    [ff,bisect,up,all]). The options are not supported
    when --separate-translation-step is used.


ezcsp 1.6.11 -- February 17, 2010
  * Added support for the specification of the options for Sicstus'
    labeling/2 predicate. Each option is specified separately
    using relation label_option/1, e.g.
    label_option(ff). label_option(bisect).


ezcsp 1.6.10 -- November 04, 2009
  * Added support for negation of reified constraints. EZCSP symbol
    is #! (Sicstus symbol is #\).


ezcsp 1.6.9 -- November 03, 2009
  * First public release in a very long time.
  * Many changes in the design of ezcsp.
  * Major performance improvements.
  * Default grounder and solver are not gringo and clasp.
  * For programs with cr-rules, ezcsp now requires crmodels2
    (available publicly soon).
  * New relation label_order(<CSP variable>,<integer>) allows
    to specify the order of the CSP variables in the SICStus
    labeling statement (automatically generated by ezcsp).
    Multiple variables can have the same index associated,
    in which case the ordering *among* them will be arbitrary.
    Variables without an associated index will occur last in
    the list passed to the labeling statement.
    Proper specification of label_order has been shown to increase
    performance substantially in medium and large programs.


ezcsp 1.5 -- July 31, 2009
  * Added aliases for reified constraints (e.g. \/ for #\/, /\ for #/\).


ezcsp 1.4 -- July 31, 2009
  * Added ability to compute extended answer sets of CR-Prolog.


ezcsp 1.3 -- July 29, 2009

  * Added support for reified constraints.
  * Reduced the amount of unnecessary parentheses generated when
    pre-processing the program to map the CP-style connectives (#>, etc.)
    into legal ASP function symbols. LParse sometimes gives errors
    when the program contains unnecessary parentheses.


ezcsp 1.2 -- July 10, 2009

  * First public release.