this repo has no description
dekker.one
1Version 1.7 (?)
2 * Fixed bug in grammar for annotation expressions
3 * Added cumulative-constraint
4 * Added MiniZinc Challenge-style options
5 * More detailed statistics
6 * Exit with error code when interpretation of FlatZinc fails
7 * Fixed handling of arrays of par sets
8 * Fixed array_set_element constraint
9 * Added specializations for sum_pred and nvalue and fixed exactly_int
10 * Fixed output for problems that have no solution
11Version 1.6 (2009-05-21)
12 * Adapted to changes in FlatZinc:
13 - removed output items
14 - added handling of output annotations
15 - output in alphabetical order, and separate output for different solutions
16 - support nested annotations, in particular the new search annotations
17 - parse (and ignore) predicate declarations
18 - split globals definitions into individual files
19 * Replaced pkg-config based configuration with configure options
20 for finding the Gecode installation
21 * Do not require Gist (and detect it automatically)
22 * Support for parallel (multi-threaded) search
23
24Version 1.5 (released 2009-03-24)
25 * The command line option -mode gist now behaves as advertised
26
27Version 1.4 (released 2009-03-13)
28 * Updated to compile with Gecode 3.0.0
29 * Fixed conditional output items
30 * Print variables as required by the upcoming FlatZinc specification
31
32Version 1.3 (released 2008-08-26)
33 * Can be compiled without support for set variables (if not present in
34 Gecode)
35 * Updated to new FlatZinc specification:
36 - arrays start at index 1 now
37 - var declarations can have initializers
38 - conditional output using show_cond
39 * Added array_bool_clause, regular, sort, inverse constraints
40 * Fixed constraints introduced by sharing, e.g.
41 var 0..3: x = 3; var 0..2: y = x;
42 will result in failure
43 * Fixed bug that caused initializers for array of var set to fail
44 * Fixed int_div and int_mod
45 * Use mmap where available to map input files directly to memory
46 * Use specialized Boolean linear propagators in globals library
47
48Version 1.2.1 (released 2008-03-06)
49 * Small fixes in the build system (support for static libraries,
50 better support for Mac OS X universal binaries)
51
52Version 1.2 (released 2008-02-29)
53 * Updated to compile with Gecode 2.1.0
54
55Version 1.1 (released 2008-02-13)
56 * Added support for constant declarations (like int: a=3;)
57 * New constraints required by FlatZinc specification (mostly int_lin_*)
58 * More verbose error reports
59 * Accept carriage return (Windows end-of-line)
60 * Fixed bug in output of Boolean variables
61
62Version 1.0 (released 2007-11-15)
63 * initial release