Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
2.5 kB · 63 lines
at develop
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364Version 1.7 (?) * Fixed bug in grammar for annotation expressions * Added cumulative-constraint * Added MiniZinc Challenge-style options * More detailed statistics * Exit with error code when interpretation of FlatZinc fails * Fixed handling of arrays of par sets * Fixed array_set_element constraint * Added specializations for sum_pred and nvalue and fixed exactly_int * Fixed output for problems that have no solutionVersion 1.6 (2009-05-21) * Adapted to changes in FlatZinc: - removed output items - added handling of output annotations - output in alphabetical order, and separate output for different solutions - support nested annotations, in particular the new search annotations - parse (and ignore) predicate declarations - split globals definitions into individual files * Replaced pkg-config based configuration with configure options for finding the Gecode installation * Do not require Gist (and detect it automatically) * Support for parallel (multi-threaded) searchVersion 1.5 (released 2009-03-24) * The command line option -mode gist now behaves as advertisedVersion 1.4 (released 2009-03-13) * Updated to compile with Gecode 3.0.0 * Fixed conditional output items * Print variables as required by the upcoming FlatZinc specificationVersion 1.3 (released 2008-08-26) * Can be compiled without support for set variables (if not present in Gecode) * Updated to new FlatZinc specification: - arrays start at index 1 now - var declarations can have initializers - conditional output using show_cond * Added array_bool_clause, regular, sort, inverse constraints * Fixed constraints introduced by sharing, e.g. var 0..3: x = 3; var 0..2: y = x; will result in failure * Fixed bug that caused initializers for array of var set to fail * Fixed int_div and int_mod * Use mmap where available to map input files directly to memory * Use specialized Boolean linear propagators in globals libraryVersion 1.2.1 (released 2008-03-06) * Small fixes in the build system (support for static libraries, better support for Mac OS X universal binaries)Version 1.2 (released 2008-02-29) * Updated to compile with Gecode 2.1.0Version 1.1 (released 2008-02-13) * Added support for constant declarations (like int: a=3;) * New constraints required by FlatZinc specification (mostly int_lin_*) * More verbose error reports * Accept carriage return (Windows end-of-line) * Fixed bug in output of Boolean variablesVersion 1.0 (released 2007-11-15) * initial release