MiniZinc Change Log

For detailed bug reports consult the issue tracker at https://github.com/MiniZinc/libminizinc/issues.

Version 2.5.5

(released 19 March 2021)

Changes:

  • Make min/max on an array of optional variables return a non-optional var, behaving as if absent values are not in the array.

Bug fixes:

  • Insert par array literals in the common subexpression elimination map, fixing a FlatZinc code bloat issue (issue 458).

Changes in the IDE:

  • Fix editing of custom string parameters so they don’t get converted to floats.
  • Fix crash on Windows caused when the PATH environment contains unicode characters.

Version 2.5.4

(released 16 March 2021)

Changes:

  • Allow empty arrays in global cardinality constraints (issue 440).
  • Add piecewise_linear for non-continuous intervals.
  • Fail on empty variable domains in agenda.
  • Allow coercion of JSON lists to enum definitions (issue 441).
  • Update strictly_decreasing with documentation and opt version (issue 454).
  • Remove MIP-specific fzn_less(eq)_bool(_reif).mzn.
  • Add mzn_in_symmetry_breaking_constraint() for internal use.
  • Add MIP decompositions for lex_less[eq]_*.
  • Add lex_chain_* globals, and use them in lex2[_strict].
  • Improve detection of variable declarations which are actually par to allow more use of overloaded par versions of predicates.
  • Update documentation on installation of OR-Tools.
  • Report CPU time in solveTime statistic for MIP solvers.

Bug fixes:

  • Fix handling of bad Xpress licenses when collecting extra flags.
  • Don’t propagate annotations into annotation calls to infinite recursion.
  • Add missing par opt versions of coercion functions.
  • Revert incorrect renaming of has_output_item to has_outputItem in model interface output.
  • Fix incorrect grammar specification in documentation (issue 453).
  • Fix crash when defining enums with no members (issue 443, issue 444).
  • Support undefined enums in the type checker.
  • Fix CPLEX solver ID in documentation.
  • Never insert par expressions in the common subexpression elimination map.
  • Fix cv flag propagation when the body of a let or function is cv.
  • Fix equality test for annotations involving indirection.
  • Don’t modify the infinite domain of optional variables (issue 456).
  • Don’t immediately evaluate output_only arrays when generating dzn output.
  • Coerce boolean objectives to integers.
  • Don’t create copies of global declarations when creating par versions of functions.
  • Compile infinite domains with holes into constraints (issue 457).
  • Use generic flattening inside generators, disallowing free boolean variables inside in expressions (issue 451).
  • Strip library paths from includes in multi-pass compilation (issue 455).
  • Canonicalise file names of includes to ensure the same file is not included multiple times.
  • Escape paths in printed include items, fixing backslash problems on Windows.
  • Follow ids to declarations when flattening par arrays (issue 448).
  • Ignore par constants during chain compression.
  • Fix flattening of all-par set literals.

Changes in the IDE:

  • Fix possible crash due to incorrect use of WriteFile on Windows.
  • Ensure Gecode Gist dependencies are present in the Linux bundle and AppImage (issue 132).
  • Fix crash when stopping solver during exit.
  • Don’t show irrelevant context menu entries in the project explorer.
  • Add support for HTTP/S links in the output pane.
  • Fix crash when saving CP Profiler executions where there is no info associated with a node.
  • Show a warning when there are open files which are not part of a MOOC submission.
  • Fix double spinbox precision issues (issue 134).
  • Include Gecode Gist and CP Profiler dependencies in Snap package.
  • Allow opening of multiple files through the open file menu option.
  • Ensure file dialogs save last path when opening files.
  • Make the escape key close the find/replace dialog when focussed on any child widget.
  • Allow setting MOOC submission items as mandatory.

Version 2.5.3

(released 24 November 2020)

Changes:

  • Fully reify -> (x != y) in the linear library.
  • Allow printing of comprehensions using introduced variables.
  • Allow increasing/decreasing over multidimensional arrays.
  • Add mzn_ignore_symmetry_breaking_constraints and mzn_ignore_redundant_constraints options, allowing the symmetry_breaking_constraint and redundant_constraint predicates to be overridden, so that those constraints can be disabled independent of the solver library that’s being used (issue 429).
  • Add automatic coercion of strings in JSON input data to enum constants where needed.
  • Add automatic coercion of lists in JSON input data to sets where needed.

Bug fixes:

  • Fix int_lin_eq_imp in the linear library.
  • Use variable declaration location for invalid type-inst error messages without locations.
  • Rewrite par versions of fzn_count_* into var versions, allowing solvers that only redefine the bar version to use their built-in propagators even if the value to count is fixed at compile time (issue 427).
  • Add multi-level array construction for enumerated types when outputting in JSON format.
  • Ensure that functions can only be used as par if their return type is par (issue 431).
  • Fix parser default location macro, preventing loss of location filenames in some cases.
  • Fix parser rule for non-opt sets to give the correct starting location.
  • Fix fzn_bin_packing_capa_reif.mzn and fzn_bin_packing_load_reif.mzn (issue 435).
  • Update decl for binary and unary operators when creating par versions of functions (issue 437).
  • Only throw type errors for enum type identifier mismatch in strict enums mode.
  • Only post cumulative constraints if there is at least one task, preventing an assertion about the lower bound from failing.

Changes in the IDE:

  • Only reset config window item focus if it is still focused, preventing spurious changes in focus during code checking.
  • Fix handling of final statuses, including UNSAT (issue 123).
  • Remove -s flag support from Gecode Gist solver configuration (issue 125).
  • Fix crash when saving a project with no solver selected (issue 127).
  • Correctly remove temporary parameter configuration files after use (issue 128, issue 129).
  • Fix the time limit readout in the status bar when solving.

Version 2.5.2

(released 6 November 2020)

Changes:

  • Use full reification in int_ne_imp.
  • Add support for redefining 2d element constraints in the solver library.
  • Produce warning when shadowing a variable in a let or comprehension in the same function (or toplevel) scope (issue 419).
  • Rewrite symmetric_all_different to inverse (issue 426).
  • Add link icons to globals etc in the reference documentation (issue 425).
  • Make the nodes statistic show the total number of nodes across all restarts for SCIP.
  • Add support for multidimensional arrays in counting constraints (issue 413).
  • Allow .json files to be specified using the –data option (in addition to .dzn files).
  • When specifying relative paths inside parameter configuration files, resolve them relative to the config file.

Bug fixes:

  • Correctly add file extension to plugin libraries when omitted.
  • Fix JSON array index coercion when the first index is undefined.
  • Catch ResultUndefined exception when evaluating cv par expressions, and turn into undefined result.
  • Fix trailing for lets and comprehensions, resolving some issues with recursive functions containing lets and/or comprehensions.
  • Only create par version of functions that do not refer to any toplevel variables (issue 418).
  • Keep correct location information for identifiers.
  • Print warnings from solns2out.
  • Fix the removal of reverse mapped arrays when they contain aliases.
  • Disallow macro replacement when call has reification implementation.
  • Fix the behaviour of passing an invalid version hint to –solver.

Changes in the IDE:

  • Properly resize extra flags table after adding parameters (issue 119).
  • Use the minimal configuration to check the model interface (issue 118).
  • Allow omitting builtin solver version in project JSON.
  • Don’t mark as modified when loading non-synced solver configurations.
  • Ensure the last open configuration in a project is selected when loaded.
  • Fix the default values of solution truncation and output window clearing.
  • Process unrecognised extra flags from old project configurations.
  • Fix watching for modification of the additional data box.
  • Fix the alignment of line numbers.
  • Make behaviour controls more narrow to accommodate smaller window sizes.
  • Defocus config window widgets when updating solver config so values of currently edited fields are updated.
  • Pass user input data correctly during compilation.
  • Remove solns2out options from MiniZinc call when compiling.

Version 2.5.1

(released 22 October 2020)

Changes:

  • Rewrite alldifferent_except_0 to fzn_alldifferent_except_0, to enable solvers to implement that constraint if it is available (issue 414).
  • Propagate domains for variables even when reverse-mapped. This ensures that variables with multiple encodings can be created with the tightest possible bounds.
  • Fail instead of producing empty domains when simplifying int_le constraints.
  • Allow parsing of nested objects in parameter configuration files.
  • Add –backend-flags option to provide a uniform way of passing flags to an underlying solver.
  • Add extra flags support to the MIP solver interfaces, allowing parameters to be set in the IDE.
  • Improve automatic detection of the Xpress solver and license file.
  • Allow the use of spaces in the –solver flag argument.
  • Automatically add the last part of the solver ID as a tag.
  • Improve handling of var functions in output, automatically creating par versions of var functions if possible.

Bug fixes:

  • Fix parsing of empty multidimensional JSON arrays.
  • Allow use of –parallel long form option in MIP solvers.
  • Fix item lookup when increasing annotation usage in annotate builtin.
  • Fix JSON array coercion to handle arrays with 1 unknown index.
  • Don’t try to access array dimensions for output of empty multi-dimensional arrays.
  • Print verbose version information to stderr instead of stdout.
  • Fix context handling when flattening par expressions that contain variables (issue 415).
  • Flatten string expressions if they contain variable parts in assert/abort/trace calls.
  • Fix breakage on older versions of Windows due to UTF-8 conversion failing.
  • Remove defines_var/is_defined_var annotations when simplifying boolean constraints.
  • Fix transfer of cv status from where parts to newly generated conjunctions during typechecking.
  • Fix multiple issues with the defined_var / is_defined_var annotations.
  • Move all included files from stdlib into solver_redefinitions.mzn, so that solver redefinitions are not marked as belonging to the standard library (issue 416).
  • Fix documentation group for standard annotations (issue 417).
  • Show correct version of solver plugins which have their DLLs specified using a command-line parameter (issue 411).
  • Fix arbitrary flag support for NL solvers.
  • Kill child processes if exception occurs during solns2out on Unix-like platforms.

Changes in the IDE:

  • Fix typo when passing solver statistics option to minizinc (issue 112).
  • Fix missing statistics output (issue 112).
  • Add support for colour themes (issue 110).
  • Don’t prompt for saving after adding/removing files from the Untitled project.
  • Fix running of compiled FlatZinc files.
  • Show error message when trying to load an invalid configuration file.
  • Ensure all output is sent to the output console, and that fragments in standard error output appear when a newline is written to standard output (issue 114).
  • Fix running of solver configurations from the project explorer.
  • Improve performance of adding a large number of extra flags at once.
  • Add support for 64-bit integer extra flags.
  • Add support for setting both solver backend flags and MiniZinc command flags (issue 113).
  • Improve interface for adding extra parameters, allowing search/filter and multiselection of known parameters.

Version 2.5.0

(released 6 October 2020)

Language, tool and library changes:

  • Allow reading command line arguments from JSON config file.
  • Add support for enum constructors.
  • Put subprocesses in their own process group so that they don’t receive signals from both the console and MiniZinc.
  • Implement soft and hard process timeouts on Windows, allow triggering of shutdown from named pipe on Windows for the IDE.
  • Make MiniZinc unicode-aware on Windows.
  • Better error messages for index set mismatches.
  • Report similar identifiers when matching fails.
  • Better error messages when a call cannot be matched to an existing function or predicate.
  • Print error stack if top of stack is a single identifier (i.e., error occurred while flattening a variable declaration).
  • Add new separate flags for intermediate and all solutions. -i enables intermediate solutions for optimisation problems and –all-satisfaction enables all solutions for satisfaction problems.

Changes in interfaces to solvers:

  • Solvers which only support intermediate solutions now can now support the standard flag -i rather than -a.
  • Restructure the MiniZinc standard library.

Changes in MIP solver backends:

  • Remove non-conforming -n flags for MIP solver configs standard flags.
  • Improve autodetection of Gurobi DLL.
  • Find Gurobi 9.0.2 when building.
  • Don’t create gurobi log.
  • Interface to concurrent solves in Gurobi (–readConcurrentParam).
  • Add -DMinMaxGeneral option for min/max as fzn_array_float_minimum for Gurobi
  • Find SCIP 7.0 on Windows
  • Use -Glinear library, built-in cumulative by default for SCIP.
  • Use quadratics in Gurobi and SCIP by default.
  • Add options –xpress-root and –xpress-password for finding Xpress installation directory and licence file.
  • Add MIQCP quadratic constraints for Gurobi and SCIP.

Changes dealing with option types:

  • Add opt versions of several globals.
  • Define weak equality for var opt bool.
  • Add set_in definitions for var opt int.
  • Add opt versions of enumerated type functions (to_enum, enum_next, enum_prev etc).
  • Enable set literals with optional values (which will be ignored), including var set literals with var opt int elements.
  • Add opt version of float_dom to stdlib.
  • Change unary not for opt bool to use absorption lifting.
  • Add array2set functions on var opt int arrays.
  • Add opt versions of dom, dom_array and dom_bounds_array.
  • Add missing logical operators to var opt bool.

Changes in the MiniZinc IDE:

  • Remove support for the old binary storage format of projects. These must be opened and re-saved with version 2.4.3 to remain compatible.
  • Include experimental CP-profiler through the *MiniZinc* > *Profile search* option for supported solvers.
  • Redesign the solver configuration window.
  • Use parameter configuration files rather than passing command-line options directly.
  • Show solver configurations and checkers in their own sections in the project explorer.
  • Allow multiselection in the project explorer for running particular sets of files.
  • Allow MiniZinc to manage subprocesses by itself.
  • Allow non-privileged installs of the IDE on Windows.
  • Correctly remove files from old installations of the IDE on Windows.
  • Enable scroll bars in the preferences dialog to allow for low resolution displays.
  • Prompt to save modified files before performing MOOC submissions or running models.
  • Fix infinite recursion when a model file for a MOOC submission doesn’t exist.
  • Use –output-mode checker for MOOC solution submission where supported.
  • Fully support unicode on Windows.

Minor changes:

  • Clean up code base and format using clang-format and clang-tidy.
  • Update WebAssembly build for new versions of emscripten.
  • Support –cp-profiler option to activate search profiler for IDE.
  • Add –solver-json to output single solver config as JSON.
  • Coerce JSON arrays to match the MiniZinc TypeInst.
  • Add more informative README file.
  • Split shared MIP cpp code into seperate CMake object target.
  • Compile with POSITION_INDEPENDENT_CODE targets by default.
  • Change ASTString to use String Interning.
  • Add included_files output to model interface.
  • Update Bison parsers to be compatible with Bison 3.7.
  • Allow annotating enum declarations.
  • Add support for –c_d and –a_d options to set recomputation commit/adaption distance for Gecode presolver.
  • Place float_set_in in a version redefinition documentation group.
  • Place int_pow_fixed into a version redefinitions group.
  • Move set_in(var int, set of int) to the Integer FlatZinc Builtins.
  • Make “show” display contents of arrays rather than array identifiers if the array is var
  • Add support for checking statistics after solving has finished.
  • Include preferences set by IDE repository.
  • Add has_ann(var, ann) annotation introspection builtin.
  • Use reverse mapped version for output if FlatZinc contains an aliased variable.
  • Remove NDEBUG flag from the compile flags added by CPLEX and Gurobi.
  • Use integer variables in decomposition for array_int_element, array_var_int_element, array_int_minimum, and array_int_maximum.
  • More preprocessing for pow(int, int).
  • Add is_same builtin.
  • Add multiobjective annotation for Gurobi and Yuck (in std/experimental.mzn).
  • Add –output-mode checker, which outputs exactly the variables that are required for a given solution checker.
  • Improve propagation of annotations, especially for redefined forall, exists, clause, xor
  • Make omitting RHS from output_only variable a type error.
  • Add support for var set comprehensions
  • Make sets inside set literals a type error (rather than evaluation error).
  • Aggregate bool_not into exists/clause, use bool_not(e) for clause([],[e]) expressions
  • Cleanup the common-subexpression elimination table.
  • Generate bool_not calls (instead of bool_eq_reif) and add both “x=not y” and “y=not x” into the CSE map, to avoid double negations.
  • Add arg_max and arg_min builtins for boolean arrays.
  • Remove -O flag from ozn file naming.
  • Allow var items in checkers to be omitted from the model.
  • Add builtins for binary operators that have a var redefinition.
  • When an integer or bool variable has a singleton domain, use the value. This enables more overloading to par functions.
  • Check if domain becomes empty when binding variable to value, avoiding empty domains (such as 1..0) in FlatZinc.
  • Ignore unknown JSON data items instead of throwing an error.
  • Add trace_logstream and logstream_to_string builtins. These can be used for writing model checkers/graders, but also for general logging.
  • Clean up CMake configuration
  • Allow any installed solver to be used with the test suite, add ability to test for expected ozn output.

Bug fixes:

  • Fix error message for type errors in domains that are integer literals (issue 408).
  • Fix comprehensions over option types, which could cause crashes and incorrect flattening (issue 407).
  • Fix the usage count of annotations added using the annotate function
  • Flatten “in” expressions in comprehensions when required.
  • Check if operator is built-in after evaluating arguments, to make sure it is rewritten into the correct predicate.
  • Use dom(x) instead of lb(x)..ub(x) for opt int.
  • Use eval_par to compute bounds for par expressions since they might be opt.
  • Use library defined operators where available.
  • Fix -O flag parsing for optimisation level.
  • Fix par set inequality calculation.
  • Flatten domain expressions that contain variables.
  • Catch ResultUndefined when flattening an array with an undefined expression in a generator
  • Fix source paths in MD5 generation scripts.
  • Fix crash when reporting undefined result in assignment generator.
  • Only add coercion for normal generators, not for assignment generators.
  • Check output var status on actual item being removed.
  • Include absolute path instead of filename in multipass processing.
  • Coerce comprehension generators if necessary, so that slicing notation can be used there.
  • Fix copying of comprehensions with followIds.
  • Fix the method signature of printStatistics for Geas.
  • Ensure the definition of reverse mappers are copied into the output model.
  • Print solns2out statistics to stdout to comply with MiniZinc spec.
  • Minor doc-fix for global_cardinality_closed.
  • Make statistics output comply with MiniZinc spec.
  • Fix reverse function to work with empty arrays
  • Fix the coercion of boolean sum in aggregation.
  • Remove eval_par on var expressions in show builtin.
  • Fix the table construction for the Geas solver interface
  • Fixed wrong sign in Boolean linear constraints in Geas solver interface.
  • Fix istrue and isfalse by using flat_cv_exp if necessary.
  • Fix the excess flattening of items marked for removal.
  • Do not add newline to output when killing FlatZinc solver process, since this may be in the middle of a line
  • Fix typo in loop for Geas solver instance.
  • Don’t call doAddVars when there are no variables, fixing a crash in MIP solvers for empty models.
  • Do not copy type of lhs onto rhs when parsing solutions. This tagged some literals as cv(), which broke the evaluation.
  • Fix flattening of all par set literals.
  • Fix error macro to be compatible with newer versions of Bison (issue 389).
  • Fix printing of if-then-else expressions without an else branch.
  • Fix allowed solvers option in test suite.
  • Make bind only create an int_eq constraint if a variable has a reverse mapper.
  • Fix automatic coercions to keep cv type attribute of their argument (issue 387).
  • Fix copying of output_only variables to the output model.
  • Only print checker output for unique solutions.
  • Fix rewriting of lin_exp into int/float_lin_eq.
  • Fix flattening of calls and let expressions that have par type but contain var expressions.
  • Use eval_bool instead of eval_par for boolean evaluation.
  • Remove the direct assignment to a domain if it has a reverse mapper.
  • Fix arg_max and arg_min for array index sets not starting at 1.
  • Add missing set_superset_reif FlatZinc predicate.
  • Fix counting of non-fixed variables in Boolean constraints. Could previously lead to incorrect simplifications.
  • Enable eval_floatset for SetLits that contain an IntSetVal. This is used during chain compression and could previously result in incorrect domains.
  • Fix bugs in chain compressor caused by modifying multimaps while iterating over them.
  • Fix crash when cleaning up after running builtin Gecode.
  • MIPdomains: don’t assume equations have no literals.
  • Only fix domain after flattening bool_eq.
  • Only return singleton domain as value for non-optional variables.
  • When evaluating identifier that is bound to a fixed value, check that the value is inside the domain to correctly detect model inconsistency.
  • Add missing assert and trace builtin overloads.
  • Flatten expressions that may contain variables in par where clauses.
  • Fix segmentation fault when the declaration of an array is passed to setComputedDomains with the -g parameter.
  • Consider single-valued domain variables to be fixed
  • Add missing definition of to_enum for arrays of sets.
  • Evaluate partiality of arguments even if call was already in CSE table (issue 374).

Version 2.4.3

(released 4 March 2020)

Changes:

  • Enable CPLEX 12.10.
  • Add checker output to generated output items.
  • Short-circuit evaluation for mixed par/var conjunctions, disjunctions, and clauses.
  • Add inverse_in_range global.
  • Pretty printing set ranges now uses union instead of ++ to be compatible with DZN.
  • Add array2set for par bool and float arrays
  • The _objective variable is no longer added to FlatZinc input files.
  • JSON representation of sets with ranges can now be parsed (previously they could only be output).
  • Check index sets to arguments of global_cardinality_low_up.
  • Xpress and SCIP are not compiled as plugins and no longer require recompilation to enable.
  • If-then-else for opt are no longer written in terms of the non-opt version, allowing them to return absent.

Bug fixes:

  • Fix checking of domains and index sets in par arrays inside lets.
  • Remove duplicate call stack items to improve error messages.
  • Ignore absent values when computing domains.
  • Generate call for actual binary operator (after optimising double negation). Fixes issue 364.
  • Fix non-associative operators on optional values.
  • Only output optional parameters in model interface if they were undefined (rather than assigned to <>).
  • Fix some issues with evaluating par opt expressions.
  • Make solution checkers work for multi-dimensional arrays and arrays with enum index sets
  • Fix Boolean aggregation for expressions that are defined recursively.
  • Use correct index set for nosets set_lt and similar (partial fix for issue 369)
  • Fix coercion of sets to arrays (previously, coercing a set of X to an array of X to an array of Y did not work correctly).
  • Fix infinite loop when printing infinite set range
  • Add assertion so that array2set can only be used for arrays with bounds (issue 370, issue 371).
  • Fix typing and pretty printing of par bool sets.
  • Use output_array dims for output vars in FlatZinc files (previously, a type-checker error would occur when running a solver through MiniZinc on a FlatZinc file with multidimensional arrays).
  • The Xpress backend was made functional again.
  • Fix segmentation fault in output_only type-checking.
  • Compute correct array enum type for array slices (issue 372).
  • Fix behaviour of using undefined expressions in var comprehensions guarded against by where clauses (previously, these undefined expressions would bubble up regardless of the where clause, constraining the model).
  • IDE: Disable menu items that don’t make sense when all tabs are closed, fix behaviour of stop button when all tabs closed (fixes several crashes).
  • IDE: Add x86_64 suffix to linux package name (issue 96).
  • IDE: Make boolean extra solver options with a default of true functional.
  • IDE: Only read linter results if it exited normally (issue 97).
  • IDE: Resolve paths in _mooc to paths (allowing submission of models in subdirectories).

Version 2.4.2

(released 10 January 2020)

Changes:

  • The test suite is now integrated into the continuous integration system.

Bug fixes:

  • Fix flattening of negated disjunctions (issue 359).
  • Fix simplification of Boolean constraints (repeated simplification could sometimes crash).
  • Fix memory management during flattening of conditionals (issue 358).
  • Fix type inference for rewriting of sums into count constraints, and only apply the rewriting for var type-insts.
  • Fix handling of solution checkers (these used to produce spurious error messages).
  • IDE: Fix syntax highlighting of keywords, and add syntax highlighting for interpolated strings.
  • IDE: Redraw when switching to/from dark mode, and fix dark mode header colours.
  • IDE: Fix “Select all” menu item.

Version 2.4.1

(released 20 December 2019)

Changes:

  • Improve compiler optimisation for some linear, multiplication and Boolean constraints.
  • Improved translation of lex and all_equal constraints when the arrays have no or only one variable.
  • IDE: Display error message when submission to MOOC provider fails.
  • IDE: Make “previous tab” and “next tab” actions cycle rather than stop at first/last tab.

Bug fixes:

  • Fixed regular expression constraint for expressions containing negated character classes (^ operator).
  • Fix element constraint in nosets.mzn library when set domains are not contiguous.
  • Correctly identify Windows paths starting with // or \ as absolute (this enables the parser to open files stored on network drives).
  • Use set_in constraints (rather than int_in) for internal Gecode-based presolver. This fixes some issues when compiling with -O3.
  • The optimisation phase of the compiler now fully substitutes par bool variables (these can be introduced into the FlatZinc during multipass compilation). (issue 357)
  • Fixed the reference counting for variables that are re-used in multipass compilation. (issue 357)
  • Remove incorrect error handling when parsing from strings rather than files. Partially fixes (issue 357)
  • Made the is_fixed builtin work for more types. (issue 356)
  • Enable rewriting of sum(i in x)(i=c) op d and count(x,y) op z into global counting constraints.
  • Split up count global constraints into separate files for reified versions.
  • Use contiguous range for array index set in set_lt for nosets.mzn.
  • Negate results of conditionals if required. (issue 355)
  • Partiality of conditional needs to be translated in root context (even if conditional itself is negated). (issue 355)
  • Don’t copy function into output again if it was already copied (and made par) before. (issue 323)
  • Define card function on var sets in terms of set_card FlatZinc builtin.
  • Don’t set bounds for set variables in internal Gecode presolver.
  • IDE: Fix shift left and shift right indentation behaviour when selecting text backwards.
  • IDE: Fix OpenSSL library in binary distribution to enable update checks and submission to MOOCs again.

Version 2.4.0

(released 13 December 2019)

Changes:

  • The compiler now detects counting constraints in expressions such as count(i in x)(i=3) <= 4 and rewrites them into global counting constraints. This is now the preferred way to specify counting. The atmost/atleast/exactly constraints on integer variables have been deprecated, and versions of count predicates with par variables have been added. FlatZinc solvers that supported atmost/atleast/exactly should now support the corresponding fzn_count_?_par predicates.
  • The compiler now supports the command line option –output-detailed-timing, which provides timing information for each toplevel constraint item, or for each line of code when used in conjunction with the –keep-paths option.
  • The library now contains annotations for deprecated library functions.
  • A par version of the inverse function has been added (include inverse_fn.mzn to use it).
  • The common case of sums of optional variables is now handled more efficiently. This case often arises from generator expressions with variable where clauses.
  • Added set_to_ranges built-ins to enable efficient iteration over sets. These are used to implement set_in for float variables, which was missing before.
  • The Gurobi and CPLEX backends now support the –random-seed command line option.
  • The Gurobi and CPLEX backends now use nodefile for search trees exceeding 500 MB (–nodefilestart can change this value and –nodefiledir the folder.)
  • The MIPDomains optimisations have been switched back on by default. The optimisations have also been strengthened for some special cases.
  • Without the MIPdomains postprocessing, linearisation of variable domains with holes now uses set_in instead of individual not-equal constraints, which may result in more compact FlatZinc.
  • Linearisation of multiplication can now consider the exact domain of a factor.
  • The product functions have been made non-recursive in order to support longer arrays.
  • Bounds inference for results of if-then-else expressions has been improved.
  • Support for optional float variables has been added.
  • The interfaces to CBC, CPLEX and Gurobi now report correctly that they support verbose output during solving (so that the “verbose solving” option is available from the MiniZinc IDE).
  • IDE: Parse timing and statistics output produced by compiler, and display as profiling information next to each line in the model.
  • IDE: Enable run/compile action on data files. This automatically selects the model file if there is only one, or presents a dialog for selecting the model if there are multiple.
  • IDE: Select first data file in parameter dialog if there was no previous selection, and always focus parameter dialog.
  • IDE: Highlight current line.
  • IDE: Support .json as file extension for data files.
  • IDE: Remember whether wrap around, case sensitivity and regular expression was selected in find/replace dialog, pre-select the find/replace text when find/replace widget is openend, and close find/replace widget when ESC is pressed while editor has focus.

Bug fixes:

  • Fixed output handling on Windows (output is now processed on the main thread, so that exceptions thrown during output are printed correctly, and memory management is thread safe).
  • Fixed decomposition of reified mdd constraint, and strengthened decompositions of mdd and cost_mdd.
  • Fix handling of variable re-definitions (e.g. converting sets to arrays of bools), which would previously sometimes result in variables being removed although they were required for output, or the reverse mapping function not being available in the output model.
  • Include regular.mzn from regular_regexp.mzn. (issue 351)
  • Inlining of function calls has been moved from the flattener into the type checker, and it now is more strict about which functions can be inlined in order to avoid overloading issues.
  • Updated fzn_count_{neq,leq,lt,geq,gt}, fzn_global_cardinality_low_up{,_reif} to use use the count_eq predicate. (issue 334, issue 335)
  • Fixed the documentation for several constraints, which did not display as bullet point lists as intended.
  • Copy function/predicate declarations into FlatZinc without annotations, since most FlatZinc parsers would not expect annotations and fail to parse.
  • Process right hand side of par VarDecls to make sure any identifiers it uses are copied into the output model. Fixes issue 336.
  • Fix type checking for conditionals where the else branch has enum type but the then branch has int type.
  • Make the deopt function return correct enum instead of int type.
  • Fix for path handling when ‘needRangeDomains’ is active. Avoids infinite recursion in the compiler.
  • Fix race condition in temporary file generator for Windows. (issue 349)
  • Register fzn_ names for Gecode presolver. Fixes command line flags -O3 and above.
  • Fix par evaluation of float and bool set comprehensions.
  • Fix documentation of array_bool_xor. Fixes issue 13.
  • Fix the round() built-in to correctly round negative numbers
  • Fix computation of intersection of domains when assigning an array to an array variable. Fixes issue 310.
  • Add defines_var annotations for functional global constraints. Fixes issue 345.
  • Add set_lt_reif/set_le_reif to flatzinc builtins library. Fixes issue 338.
  • Clarify set order based on spec. Fixes issue 339.
  • Don’t return already removed VarDecl objects from CSE. Fixes issue 346.
  • Do not post y!=0 constraint if 0 is not in the domain (workaround for a limitation in the handling of basic float constraints). Fixes issue 344.
  • Help type checker by making deopt/occurs argument types explicit. Fixes issue 331.
  • Fix transfer of domains when aliasing one variable to another
  • MIP: fix for aux_float_ne_if_1
  • MIP: int_(eq/ne)_imp: don’t force eq_encode without MIPdomains
  • Fix a typo in the definition of fzn_at_least_int{,_reif}
  • Fix dependency problem in the gecode_presolver table specification
  • Add seq_precede_chain.mzn to globals.mzn. Fixes issue 332.
  • Don’t assign right hand side of set variables if domain is singleton. Fixes issue 330.
  • Don’t invalidate float bound just because an expression contains an integer.
  • Fix copying of let expressions.
  • Put lexer and parser helper functions into MiniZinc namespace to avoid linker issues. Fixes issue 325.
  • Reset array index sets defined in lets inside recursive function calls.
  • Arrays copied into output model need to have par type-inst. Fixes issue 322.
  • Don’t complain when same function is registered twice. Fixes issue 323.
  • Fix partiality handling of if-then-else expressions.
  • Track whether variable is used in an output array before making decision to compress implication chains. Fixes issue 318.
  • IDE: Fix dark mode detection on macOS 10.15, improve dark mode colors a bit and fixed some dark mode bugs.
  • IDE: Make background compilation of a model (used to display syntax and type errors) a bit more stable.
  • IDE: Avoid infinite loop in wrap around replace all.
  • IDE: Fix memory management for HTML visualisation windows, and resize docked HTML visualisation widgets to take up equal space.

Version 2.3.2

(released 12 September 2019)

Changes:

  • Add warm starts and subtour cuts to CBC interface.
  • Add documentation and assertion requiring that mdds are deterministic, and add nondeterministic variant of mdd constraint.
  • Add -s to the standard flags supported by MIP interfaces.
  • Add flag –output-output-item to include user specified output item in the formatted JSON and DZN output.

Bug fixes:

  • Fix a bug that could leave unused variables in the resulting FlatZinc.
  • bounded_dpath should rewrite to fzn_bounded_dpath. Fixes issue 300.
  • Fix definition of sum_set.
  • Check if overloaded function required for output. Fixes issue 303.
  • Move regular constraint with set argument to its own file.
  • Flatten assignment generators if necessary.
  • Simplify fzn_value_precede_chain_int and avoid use of element predicate. Fixes issue 307.
  • Only initialise par opt variables as absent if they are not arrays.
  • Fix the description of the neural_net predicate.
  • Fix regular constraint with regular expressions (stopped working in 2.3.0).
  • Fix the model interface output to include the same variables as the generated output statement.
  • Fix CSE for removed variable declarations. Could lead to reified constraints not being compiled correctly when the control variable got fixed to true.

Version 2.3.1

(released 10 July 2019)

Bug fixes:

  • Report error when trying to assign an array literal to an array variable with incompatible index set.
  • Fix partial evaluation of expressions, so that only par expressions are fully evaluated. Fixes issue 298.
  • Remove carriage returns when reading piped solver output on Windows.
  • Canonicalize paths of executables to avoid spurious warnings about multiple executables for the same solver.
  • Add implementations for != on arrays.
  • Compute quotient bounds before decomposition of int_div in linearisation library.
  • Propagate domain constraints on variables that are aliased (previously domain constraints could get lost).
  • Propagate domain constraints from left-hand-side to right-hand-side in variable assignments.
  • piecewise-linear: reuse decomposition for X when only Y-values change.
  • nosets: add set_in_imp(var set) and simplify set_in_reif, set_eq(var set, var set).
  • linearisation: improved compilation of set_in constraints.
  • MiniZinc IDE: Remove incorrect symbolic link and fix qt.conf for some bundled distributions.
  • MiniZinc IDE: Fix check for availability of dark mode on older versions of macOS.
  • MiniZinc IDE: Fix a typo in the cheat sheet.
  • MiniZinc IDE: Provide more robust solution for checking the model parameters, which will get rid of some “internal error” messages.
  • MiniZinc IDE: Always show directory selection dialog in the Windows installer. Addresses issue 89.
  • MiniZinc IDE: Improved the configuration files for some bundled solvers, provides nicer configuration interface.

Version 2.3.0

(released 26 June 2019)

Major changes:

Minor changes:

  • The JSON input and output has been improved, with full support for enums and optional types.
  • A new compiler option -g has been added, which turns variable domain changes into constraints (useful for debugging models).
  • The SCIP interface has been updated, with support for indicator constraints, bounds disjunctions and a native cumulative constraint.
  • Error reporting has been improved, with location information available for errors in par float expressions as well as include items.
  • The timeout command line parameter now also applies to compilation itself (issue 281).
  • Operations on par float values are now checked for overflows.
  • The arg_min/arg_max constraints have been improved, with new special versions for Boolean variables, and a better standard decomposition.
  • if-then-else-endif expressions with variable conditions are now compiled to a predicate call (rather than handled by the compiler), which enables solver libraries to implement these as native constraints or special decompositions.
  • Dividing a variable by a constant is now translated as a multiplication (to keep the constraints linear).
  • A new piecewise_linear predicate has been added to the library to make it easier to specify piecewise linear constraints.
  • Print number of solutions as mzn-stat after solving (issue 244).
  • Make search annotations work for arbitrary array index sets.
  • MiniZinc IDE: The IDE will now check MiniZinc code for syntax and type errors, and the editor performs simple code completion for MiniZinc keywords
  • MiniZinc IDE: The find/replace dialog is now an inline widget and supports incremental search.
  • MiniZinc IDE: Now supports dark mode on macOS.
  • MiniZinc IDE: Add support for extra solver flags (parsed from solver configuration).

Bug fixes:

  • Translate let expressions that contain constraints or variables as var type-inst. Fixes issue 263.
  • Fix JSON array parsing by counting elements instead of commas.
  • Fix parsing of the -p flag (issue 271).
  • Fix type checking for array declarations with single enum type inst identifier. E.g. array[$$T] of $U previously matched any multi-dimensional array, and now only matches one-dimensional arrays with any enum index set.
  • Fix computation of function return type when using type inst variables (issue 272).
  • Evaluate each variable declaration only once in a par let expression.
  • Check domain constraints on variable declarations in par let expressions.
  • Try .exe/.bat on windows when using (constructed) absolute paths.
  • Fix array slicing to support empty slices (issue 275).
  • Fix a bug in the parser that could cause crashes on certain syntax errors.
  • Fix the type of bool2int for arrays.
  • Initialise counter for introduced variable ids based on names in original model. This avoids reusing variable names if the user model contains names such as X_INTRODUCED_0_.
  • Fix compilation of nested clause/exist constraints, and improve handling of negation. Tries to use primitive negation instead of creating negated constraints. Should help with half-reification by creating more positive contexts.
  • Reorder fields in basic data structures to reduce padding on 64 bit platforms (improved memory footprint).
  • Perform type coercion after desugaring array slicing.
  • Translate arguments to bool2int, exists, forall in positive context even if those functions are redefined.
  • Don’t evaluate par array literals twice (inefficient, and can lead to incorrect results when using random number generators).
  • Terminate child processes when minizinc process is terminated by signal.
  • Fix function return value array index check for empty arrays (issue 286).
  • Fix translation of constant false where clause in array comprehension.
  • Report error when json multi-dimensional array is not rectangular.
  • Check index sets of function arguments (issue 273).
  • Ignore partiality variables from CSE table when compiling _reif and _imp predicates (issue 269).
  • Flatten comprehensions with variable generators or where conditions before evaluating any par functions on them (issue 259).
  • Add missing redefinitions of basic operators and search annotations for optional integers.
  • Resolve filenames given on the command line relative to working directory, and warn if file in working directory has same name as included file from the library. Fixes issue 276.
  • Update nosets library with a valid redefinition of set_less over booleans.
  • Fix translation of showJSON (issue 294).
  • Only apply set2array coercion for supported types, otherwise report error (issue 295).
  • Improve special case reasoning for abs on strictly negative variables.
  • Add bounds for floating point min/max result in the standard library.
  • MiniZinc IDE: Ensure cursor is visible (editor scrolls to cursor position) when pressing tab or enter. Fixes issue 71 issue 71.
  • MiniZinc IDE: Re-dock configuration editor when closing un-docked window.
  • MiniZinc IDE: Handle quotes when parsing additional solver command line arguments. Fixes issue 77.
  • MiniZinc IDE: Add workaround for the missing libnss requirements. Fixes issue 79.
  • MiniZinc IDE: Allow spaces in $DIR in MiniZincIDE.sh Fixes issue 81.

Version 2.2.3

(released 31 October 2018)

Bug fixes:

  • Fix some typos in the library documentation.
  • Fix solution checking.
  • Fix line numbers in parsed locations on 64 bit platforms.
  • Fix bounds computation for calls.
  • Fix translation of var where clauses with more than 3 par components.
  • IDE: Only run solution checker if it is enabled in the solver configuration dialog.

Version 2.2.2

(released 26 October 2018)

Changes:

  • Some changes to the optimisation phase of the compiler, to take into account more variables and constraints.
  • Preliminary support for MIP cuts based on graph algorithms (only available when compiled with boost C++ libraries; not part of the binary distribution).
  • Set Release as default build type when nothing is specified (for CMake platforms that do not support multiple build types, like Makefiles).
  • Add builtins outputJSON() and outputJSONParameters() for creating an array of strings that capture the output and parameters of the model as JSON.
  • On Linux and macOS, add /usr/share/minizinc/solvers and /usr/local/share/minizinc/solvers to list of paths where solver configuration files can be placed.
  • Add OSICBC_INCLUDEDIR and OSICBC_LIBDIR cmake flags.
  • Output search paths for solver configurations using –solvers command line option.
  • Add support for Gurobi 8.1
  • Support parsing from stdin and files at the same time.
  • IDE: Add line/column display in status bar.
  • IDE: Optional parameters don’t have to be defined in input dialog.
  • IDE: Provide mzn-json-init / mzn-json-init-end handlers to initialise HTML window before first solution is produced.
  • IDE: Add version information and minimum system version into Info.plist on macOS.
  • IDE: Manage multiple open visualisation windows, and implement re-solve function that can be initiated from a visualisation.
  • Binary bundle: Gecode updated to version 6.1.0, Chuffed updated to version 0.10.3

Bug fixes:

  • Fix crash when flattening top-level array comprehensions with var where clauses.
  • Support input files with more than 1M lines.
  • Special case handling for array literals in top-level foralls: flatten in root context.
  • Fix translation of if-then-else for branches with undefined right hand sides.
  • Only propagate defines_var annotation to the variable that’s actually being defined (not others that arise from the same decomposition).
  • Don’t flatten arguments of predicates like symmetry_breaking_constraint.
  • Remove output_var and output_array annotations from user models (these could cause crashes).
  • Fix precedences for weak operators (~+, ~-, ~=, ~*).
  • Fix min and max for opt var arrays to work when the bounds of the arrays are unknown.
  • Fix a bug in bounds computations for function calls.
  • Add missing superset FlatZinc builtin.
  • Fix includes in file values.hh for some platforms.
  • Fix a garbage collection issue when printing solutions.
  • Deal with the case that a variable that’s required for output is assigned to a par variable.
  • Throw type error when an array has only absent values.
  • Flatten all arrays in FlatZinc, also those coming from functional definitions.
  • Use list of strings as mzn_solver_path entry in the preferences json file.
  • Fix crash when output variable is defined using recursive function
  • IDE: Fix race condition in constructor of HTMLWindow.

Version 2.2.1

(released 6 September 2018)

Changes:

  • all_different, all_equal, {int,set,float,bool}_search now accept multi-dimensional arrays.
  • Add exponentiation operator (^).
  • Improve layout of generated library documentation for some constraints.
  • Relax typechecking to allow assignment of empty array ([]) to multi-dimensional array variables. This is required to make empty arrays work in JSON data files.
  • Enumerated types can now be initialised using lists of strings. This enables enumerated type support in JSON.

Bug fixes:

  • Cumulative constraint for linear solvers now accepts empty arrays.
  • show2d/show3d functions now do not add quotes around array elements and work for empty arrays.
  • Add support for slicing of arrays with enumerated types.
  • Fix slicing of 1d arrays.
  • Fix bounds computation for float variable declarations.
  • When FlatZinc solver is terminated due to a timeout, do not report this as an error.
  • Fix pretty-printing of multi-dimensional arrays where dimensions other than the first one are empty.
  • Add support for where clauses on generator assignment expressions.
  • MiniZinc IDE: Improve dark mode by changing line numbers to dark background.
  • MiniZinc IDE: Make parameter input dialog scrollable.
  • MiniZinc IDE: Fix solution compression limit, and output one solution per block of compressed solutions.

Version 2.2.0

(released 24 August 2018)

This is a major release of MiniZinc, introducing many new features and improvements.

Major new features:

  • New minizinc command line tool Previous releases contained a minizinc command line tool that was not much more than a simple script that could execute the compiler, solver and output processor. The minizinc executable in version 2.2.0 is now the main frontend to compilation and solving and integrates all of the functionality. It has access to all installed MiniZinc solvers (both internal solvers and those interfaced through FlatZinc files), and can automatically select the required options (e.g., to include the solver-specific MiniZinc globals library). You can get a list of available solvers using the --solvers command line option, and select a solver using --solver. The minizinc executable can now also be used as a replacement for mzn2fzn (using -c) and solns2out (using --ozn-file).
  • Multi-pass compilation The compiler can now perform multiple passes in order to improve the target FlatZinc code. This can be controlled using the -O command line flags (-O0 to -O4). Multi-pass compilation is particularly useful when the target solver requires sophisticated decomposition of global constraints (such as for MIP solvers).
  • Solution checking You can now supply an additional model that will be used to check each solution produced by your main model. This can be useful for teaching MiniZinc (to give students automatic feedback) and if your main model is very complex but checking that a solution is correct is easy.
  • MIP solvers: support for FICO Xpress, and loading IBM ILOG CPLEX as a plugin We have added support for FICO Xpress (this requires compiling MiniZinc from sources). CPLEX can now be loaded as a plugin, which means that the binary distribution of MiniZinc has built-in CPLEX support (just bring your own CPLEX dll).
  • Language extensions The MiniZinc language has been extended with two new features.
    • Array slicing introduces syntax to conveniently select rows, columns or entire slices of arrays. For example, x[3,..] selects the third row of array x, while x[..,4] selects the fourth column, and x[3..5,2..7] selects a slice of rows 3 to 5 and columns 2 to 7.
    • Generator expressions can now contain multiple where clauses, e.g. forall (i in S where foo(i), j in T where i < j) (bar(i,j)) This enables more efficient compilation compared to evaluating all where clauses in the inner-most generator. In addition to iteration (i in S), generators can now contain assignment expressions (j=foo(i)). This enables intermediate definitions that can then be used in further generators.

Changes and minor features:

  • The value of the objective can now be added automatically to the output using the --output-objective command line option. Using --output-mode dzn, this allows automatic output of all the free variables of the model.
  • Models that do not contain a solve item are now accepted and treated as solve satisfy
  • Support for naming constraints and expressions (using ::"name" syntax)
  • Error messages have been improved, they now contain more accurate location information.
  • The compiler can be instructed to accept multiple assignments to the same parameter (as long as they are all identical), using the --allow-multiple-assignments command line option.
  • Annotations for supplying warm start values have been added to the standard library (currently supported by the MIP solvers Gurobi and IBM ILOG CPLEX).
  • The compiler now accepts multiple .mzn files as input.
  • Memory consumption and garbage collection performance has been improved.
  • The conditional expression has been extended to support if then endif (where is bool)
  • Decomposition of one variable type to another (e.g. set into array of bool) has been improved.
  • MIP solvers Gurobi and IBM ILOG CPLEX use node files when over 3GB working memory
  • Gurobi and CPLEX support the MIPfocus parameter
  • Gurobi supports MiniZinc search annotations by setting fixed branching priorities

Bug fixes:

Consult the bug tracker at https://github.com/MiniZinc/libminizinc/issues

Version 2.1.7

(released 10 January 2018)

Changes:

  • Improved linearisation for some element constraints.
  • Improve performance of optimisation phase by using a queue instead of a stack.
  • Add –dll option for Gurobi backend to specify the Gurobi DLL to load.
  • Add more defines_var annotations.

Bug fixes:

  • Fix generation of variable names in output model (sometimes could contain duplicates).
  • Fix enum type inference for array literals with empty sets as their first arguments. Fixes issue 180.
  • Fix incorrect simplification of float domain constraints. Fixes issue 159.
  • Fix ceil builtin for float values.
  • Add superset decomposition for solvers that do not support set variables.
  • Fix three bugs in the garbage collector.
  • Fix a bug in flattening that would create duplicate variables when a variable declaration referred to another one in its type-inst.
  • Fix a crash in flattening of partial functions. Fixes issue 187.
  • Add missing deopt builtins for all par types.
  • Fix output for arrays of sets of enums.
  • Define more functions on par opt types. Fixes issue 188.
  • Fix type checker to accept arrays of opt set values.
  • Support printing of opt enum types. Fixes issue 189.
  • Fix evaluation of comprehensions in recursive functions.
  • Fix output of Gurobi backend when used in conjunction with solns2out.
  • Fix pthread linking for mzn-cbc.
  • Catch type error when set literal is declared that contains another set.

IDE changes and bug fixes:

  • Fix problem where files with a . in the filename could not be run.
  • Fix font settings (were not saved reliably on some platforms).
  • Enable generic interface for submitting assignments (not just to Coursera).
  • Fix output handling for solvers that do not run mzn2fzn.
  • Fix hidden solution display when there are exactly as many solutions as the configured threshold for hiding solutions.
  • Add configuration option to print timing information for each solution.

Version 2.1.6

(released 22 September 2017)

Bug fixes:

  • Fully evaluate parameters before binding formal arguments when evaluating call expressions. Fixes issue 177.
  • Fix incorrect simplification of Boolean constraints assigned to variables that are assigned to false.
  • Fix bug in flattening of linear equations that contain the same variable on both sides.
  • Fix un-trailing for let expressions, which could sometimes cause incorrect code to be emitted when lets are evaluated in nested loops. Fixes issue 166.
  • Fix bug in JSON output of one-dimensional array literals.
  • Fix unification of enum type-inst variables.

Version 2.1.5

(released 17 May 2017)

Changes:

  • Some improvements to the linearisation library.
  • Make parser read multiple .mzn files correctly.
  • Enable better bounds computation for array access expressions on fixed arrays.
  • Perform better constant folding during optimisation phase. Fixes issue 155.
  • Don’t rewrite pow function into multiplication in the case of power of 2.
  • Save some memory by making certain internal data structures more compact.
  • Improve source code location of identifiers in generator calls (should give more precise error messages).
  • Produce an error message when a comprehension attempts to iterate over an infinite set.
  • Produce better error messages for operations on infinite values (previously some errors did not contain a source code location).
  • Speed up garbage collection by pre-allocating some memory.

Bug fixes:

  • Fix range check for float literals in arrays.
  • Fix a bug where a constraint could be removed incorrectly. Fixes issue 150.
  • Include variables for dzn and json output from all included models, not just the main model. Fixes issue 153.
  • Produce multi-dimensional arrays in json output. Fixes issue 156 and issue 157.
  • Remove incorrect closing bracket from json output. Fixes issue 154.
  • Fix bounds computation of par int and float arrays.
  • Don’t allow var access to arrays of strings or annotations (since that would require an element constraint and var string / var ann types).
  • Introduce int2float constraints where necessary for some linearisations.

Version 2.1.4

(released 13 March 2017)

Changes:

  • Add warning for MIP solvers that do not support -a option for satisfaction problems.
  • Print introduced variable names with additional underscore to make debugging FlatZinc easier. Fixes issue 147.
  • Add support for pow function in linearisation library.
  • Add support for parallel solving with CBC.
  • Flatten top-level conjunctions in the order defined in the model.

Bug fixes:

  • Fix major race condition that would crash the IDE when it didn’t detect that a solver process had finished.
  • Improve HTML output in the IDE by making sure every line is terminated by a newline.
  • Fix a garbage collection bug that could cause dangling pointers when expressions were copied.
  • Fix type checker to allow empty arrays to be assigned to variables declared as arrays of enums.
  • Fix infeasibility check in MIP translation for some inequality constraints.
  • Improved defines_var annotations for reified xor constraints. Fixes issue 146.
  • Fix output of empty integer sets and deal with empty arrays in output models.
  • Fix MIP translation when boolean variables were removed due to aliasing.
  • Improve corner cases for linearisation of cumulative constraint.
  • Properly report undefinedness in par bool expressions.
  • Enable some additional constant folding during flattening. Fixes issue 149.

Version 2.1.3

(released 6 February 2017)

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 issue 133.
  • Fix aliasing for optional integer variables. Fixes issue 132.
  • Remove all annotations from output model.
  • Fix computation of return type for functions that return arrays of enums.
  • Don’t output newline if user-defined solution separator or status message is empty
  • Fix return type computation for functions where return type contains enums.
  • Check finiteness of float literals and bounds. Fixes issue 138.
  • More checks for function return values. Fixes issue 136.
  • Fix var int comprehensions (now triggers error message instead of crash for var set of int comprehensions). Fixes issue 135.
  • Fix output of variables with quoted identifiers.
  • Fix flattening of let expressions that contain variables with undefined (i.e., partial) right hand side.
  • Make printing of error messages to stdout or stderr more consistent across executables.
  • Fix type checking of initialisation of enum types.
  • Improve error messages for array access and index set errors. Fixes issue 131.
  • Fix definition of multi-dimensional element constraints to impose correct bounds on index variables.
  • Fix binding analysis during type checking, which did not handle the shadowing of top-level declarations by comprehension generators correctly. Fixes issue 129.

Version 2.1.2

(released 20 December 2016)

Bug fixes:

  • Fix a bug in the type checking for generators that iterate over arrays of enums.
  • Fix a bug in the output handling of arrays of enums.
  • Fix handling of multiple output items (only the last item was compiled, now the concatenation is used for output as defined in the specification).

Version 2.1.1

(released 14 December 2016)

Changes:

  • Add missing min/max functions for set variables. Can be redefined to solver builtins using the new redefinitions-2.1.1.mzn library file.
  • Add support for option type expressions as objective functions.
  • Automatically coerce arrays constructed using ++ to any enum index set (in addition to array literals and comprehensions).

Bug fixes:

  • Include cmath header to fix compilation issues with some compilers. Fixes issue 125.
  • Fix a garbage collection bug in the type checking for enumerated types that would sometimes lead to crashes or incorrect error messages.
  • Fix type checking of comprehensions that involve enumerated types.
  • Fix bounds computation for var sets of enumerated types.
  • Support anon_enum function as documented.

Version 2.1.0

(released 17 November 2016)

Changes:

  • MiniZinc now supports enumerated types.
  • Solvers can be interfaced directly to the MiniZinc library, and MiniZinc comes with direct support for the CBC, Gurobi and CPLEX MIP solvers.
  • The linearisation library has been updated, resulting in much better FlatZinc being generated for MIP solvers.
  • Data files can be in JSON format, and MiniZinc can produce JSON output (using the –output-mode command line option).
  • Variables can be annotated as ::add_to_output instead of writing an output item.
  • The compiler can output information about the parameters and output variables of a model (using the –model-interface-only option).
  • Floats are handled better (detecting infinities and handling sets of floats).
  • Bounds can be computed for more expressions (instead of failing with an error message).

Bug fixes:

  • Fix a bug in optimization that could remove variables even if they are used. Fixes issue 123.
  • Fix float variable declarations with sets of floats as domains. Fixes issue 117 and issue 98.
  • Fix type checking and evaluation of asserts with array arguments. Fixes issue 109.
  • Fix abs(var float) declaration to work on floats without declared bounds. Fixes issue 106.
  • Fix a bug in the computation of int and float bounds that could result in incorrect bounds in some cases. Fixes issue 94.
  • Fix garbage collection when creating output models. Fixes issue 77.
  • Fix binary operators on optional variables (in some cases comparison operators were reversed).
  • Fix optimization of unconstrained variables (could sometimes lead to constraints being removed although they were not subsumed).

Version 2.0.14

(released 31 July 2016)

Changes:

  • Less aggressive aggregation of linear expressions in cases where it leads to much less efficient FlatZinc.
  • Don’t create temporary variable for an array literal if it is discarded immediately anyway.
  • Only create new partiality variable for if-then-else expression if there’s at least one var condition.
  • Replace recursive definitions of array_intersect and array_union with iterative ones.

Bug fixes:

  • Don’t report warnings about partiality when using extended generator expressions.
  • Include cmath to enable building with some versions of gcc.
  • Constrain result of function call based on function return type if necessary.
  • Make sure linear expressions generated during binding of variables are properly flattened (including simplification of the linear expression)

Version 2.0.13

(released 26 March 2016)

Bug fixes:

  • Fix a bug in the Common Subexpression Elimination table of the compiler, which could lead to some constraints being dropped (especially when using linear redefinitions).
  • The output model sometimes did not include all required definitions, in particular when array declarations used identifiers to specify the dimensions.
  • The generated FlatZinc sometimes still contained bool variables that were not connected to the rest of the model, which could produce incorrect solutions being printed.
  • Fix a bug where warnings (e.g. about partial functions) could lead to crashes.
  • Fix the bounds computation for integer and float variables, which could produce incorrect bounds for linear expressions. Fixes issue 94.
  • Fix a bug in the IDE that caused solver output to be shown incompletely in some cases.

Version 2.0.12

(released 25 February 2016)

Changes:

  • Partial functions are now always evaluated in their Boolean context, independent of whether they are par or var. If the result of a partial function is statically known to be undefined (such as division by zero or array access out of bounds), and it is used in a constraint expression, this now results in a warning instead of an error. Warnings can be turned off using the ::maybe_partial annotation. Fixes issue 43 and issue 74.

Bug fixes:

  • Fix a bug in the optimisation phase related to unification of aliased variables.
  • Fix short-circuit evaluation of Boolean expressions.
  • Fix a bug in the optimisation phase related to repeated simplification of some Boolean expressions.
  • Handle errors in output produced by solver without solns2out crashing. Fixes issue 80.
  • Fix a bug in the integer bounds computation that caused bool2int with an embedded conditional to crash.
  • Fix a problem with short-circuit compilation of == expressions when one side was a var opt bool.
  • Stop compilation when model is failed. Fixes a bug where mzn2fzn would sometimes not clean up the FlatZinc enough for the solver.

Version 2.0.11

(released 15 January 2016)

Bug fixes:

  • Fix parsing of hex and octal literals. Fixes issue 71.
  • Fix compilation of extended comprehensions. Fixes issue 72.
  • Fix computation of float array access bounds.
  • Fix aggregation of clauses (could sometimes ignore the negative literals).

Version 2.0.10

(released 9 December 2015)

Bug fixes:

  • Fix a bug in the optimiser that could lead to undefined variables in the generated FlatZinc. Fixes issue 70.

Version 2.0.9

(released 6 December 2015)

Bug fixes:

  • Need to take return type into account when copying functions to output model. Fixes issue 55.
  • Evaluate calls that result in arrays using eval_arraylit. Fixes issue 57.
  • Move inverse function to its own library file, so that it remains available when a solver provides an alternative for the inverse predicate.
  • Optimisation phase now recursively checks constraints when elements in an array become fixed.
  • Fix CMakeLists file to work for paths that contain spaces.
  • Distinguish between infix operators and regular functions in the generated html documentation. Fixes issue 61.
  • Made parser more robust against incorrect code.
  • Fix increment/decrement operators for IntVals and make all operations throw correct overflow exceptions.
  • Fix automatic type coercion for variables declared in let expressions.
  • Fix a crash when printing some error messages.
  • Fix compute_div_bounds builtin to return correct result for a division by zero.
  • Fix optimisation of Boolean constraints to use pointer equality instead of structural equality (same expression can occur multiple times in the FlatZinc).
  • Only optimise constraints that have not been removed yet.
  • Fix declaration of functional version of bin_packing_load. Fixes issue 64.
  • Set type of arrays returned from polymorphic functions. Fixes issue 65.
  • Fix parsing of quoted unary operator calls.
  • Only compute set functions when bounds are valid. Fixes issue 66.
  • Compute proper bounds for if-then-else expressions.
  • Report error when no reified version of a constraint is available. Fixes issue 67.
  • Fix type checking of annotations on binary operators.
  • Keep annotations when rewriting linear constraints and remove is_defined_var annotations from fixed variables. Fixes issue 69.

Changes:

Integer, Boolean and float literals are now cached to achieve better memory performance for some models.

Improve performance of parsing integer literals.

Improve handling of clause constraints.

Add source files of MiniZinc specification to the repository.

Limit maximum array size to enable better error messages.

Add implied_constraint predicate as a synonym for redundant_constraint.

Version 2.0.8

(released 19 October 2015)

Bug fixes:

  • Fix incorrect negation of some reified comparisons.
  • Make lb/ub functions work in more cases.
  • Fix several bugs in the optimisation phase (could lead to incorrect FlatZinc and crashes).
  • Fix a problem with reverse mapper functions when the result of the reverse mapper can be fixed to a constant.

Version 2.0.7

(released 5 October 2015)

Changes:

  • Improved propagation of Boolean constants in the optimisation phase. This should result in far fewer aliases and improves simplification of conjunctions, disjunctions and clauses.
  • Add special case handling for integer division by 1.

Bug fixes:

  • Fix FlatZinc generator phase, need to turn all array literal arguments into 1-based single dimensional arrays.
  • Fix compilation of if-then-else expressions with var conditions (which didn’t implement proper partiality/totality semantics). Fixes issue 42.
  • Provide correct bounds for weak opt var arithmetic. Fixes issue 51.
  • Need to be able to handle unflattened annotations. Fixes issue 53.
  • Fix generation of output model (needs to ignore items that have been removed previously).
  • Add missing lb(var set of int) builtin. Fixes issue 47.
  • Check that var set declarations have a finite element type. Fixes issue 46.
  • Fix translation context for binary operators on arrays.
  • Need to access IntVal::infinity as a function, otherwise depending on linker etc it may become 0 in some cases. Fixes issue 40.
  • Change pretty printer to use one less digit when printing float literals. This fixes issue 41 (or at least provides a workaround), but some double constants may still be rounded incorrectly when pretty printing and reading them back in. The real fix will be to output hex float literals (coming soon).
  • Distinguish between generalised comprehensions (iterating over sets) and iterating over arrays. Fixes compilation of comprehensions where iteration over an array is combined with var where clauses. Fixes issue 45.
  • Fix bug in creation of output model where sometimes chains of variable definitions could lead to crashes.
  • Avoi creating mutually recursive definitions in some corner cases, which could cause the compiler to run into infinite loops.
  • Don’t copy vardecl items to output model that are already there. Fixes issue 44.
  • Remove domain from array declarations in FlatZinc (avoids problems with domains where holes need to be removed and when there are infinities in the domains)
  • Fix flattening of equality operator between non-opt and opt vars.
  • Check that model contains a single solve and output item during type checking (previously, multiple output items were not detected and resulted in incorrect .ozn files).
  • Fix flattening of xor (arguments need to be in mixed context).
  • Use is_fixed in cumulative definition.
  • Fix bug where a par right hand side of a variable mentioned in the output would cause a crash.
  • Fix variable dependency tracking during rewriting in the optimisation phase. Could previously lead to variables being removed that are still required. Fixes issue 54.

Version 2.0.6

(released 2 August 2015)

Changes:

  • Add parser support for hexadecimal floating point constants.

Bug fixes:

  • Fix bounds computation for some calls (abs, int_times).
  • Fix flattening of some array declarations (when right hand side is an identifier).
  • Add four missing GC locks (could lead to incorrect garbage collection).
  • Compact output model only after optimisation phase (could lead to incorrect items being removed from output model).

Version 2.0.5

(released 31 July 2015)

Changes:

  • Improve the standard decomposition for the cumulative constraint.
  • Better handling of binary operators during type checking and flattening, can sometimes avoid stack overflows (e.g. for large conjunctions).
  • Make ++ operator left associative (avoid stack overflows in the parser).
  • Add ::domain annotations to linear constraints generated from multi-dimensional element constraints.
  • Greatly improved linearisation library.

Bug fixes:

  • Fix recursive function calls that contain let expressions.
  • Fix compilation of comprehensions inside parametric functions.
  • Fix a memory leak in solns2out.
  • Fix a problem in the evaluation of binary operators.
  • Fix a bug in the flattening of array literals.
  • Fix a bug that would crash the parser on certain syntax errors in let expressions.

Version 2.0.4

(released 1 July 2015)

Changes:

  • Models can now be read from standard input (using the “-” or “–input-from-stdin” command line options). Thanks to Sebastian Kosch.
  • Improved handling of bool2int during FlatZinc generation.

Bug fixes:

  • Fix unification of aliased variables which could sometimes result in variables being removed although had a constraining right hand side.
  • Fix evaluation of set comprehensions.
  • Fix command line flag –no-output-ozn
  • Fix performance problem when evaluating array expressions inside lets.
  • Fix flattening of bool_xor redefinitions.
  • Fix partial evaluation of some array access expressions with var indexes.
  • Fix definition of geost constraint.
  • User-defined functions are now copied correctly into the output model if they are referenced in the output item.
  • Set comprehensions are fully evaluated.

Version 2.0.3

(Internal release that did not contain some essential fixes)

Version 2.0.2

(released 26 May 2015)

Changes:

  • The optimiser now removes simple domain constraints from the FlatZinc
  • The compiler now checks for integer overflows in all built-in operations
  • Report an error when the FlatZinc or ozn file cannot be opened for writing
  • Add support for 3d array literals (e.g. [| |1,2|3,4|,|5,6|7,8| |] )
  • Add show2d and show3d functions for formatting array output
  • Add row/col functions for variable arrays (fixes issue 2)
  • Introduce builtins for creating random distributions
  • Add reverse library function
  • Postpone flattening of some reified constraints
  • Slightly improved compilation of partial function calls when it can be inferred at compile time that their result is undefined
  • Allow functions with empty argument lists to be declared as function int: foo(); instead of just function int: foo;
  • Improve error reporting, in particular for errors in comprehensions
  • Enable expressions a..b where a and b are integer variables
  • Add redundant_constraint and symmetry_breaking_constraint builtins, these can be rewritten by solver libraries to allow e.g. local search solvers to ignore redundant constraints.
  • Improve flattening of predicates that simply return their arguments (makes the redundant_constraint and symmetry_breaking_constraint predicates work in more situations).
  • Replace command line option –only-range-domains by optional boolean value so that solver libraries can set the flag directly in their redefinitions file.
  • Stop flattening immediately when a model has been found to contain an inconsistency.
  • Improve flattening of array access expressions, in particular for nested array accesses that can be combined into a single element constraint
  • Add command line option -s or –statistics to print statistics about the generated FlatZinc
  • Improve bounds computation for if-then-else expressions
  • Clause arguments are compiled in positive and negative contexts instead of mixed. That means that predicates that introduce free variables can now be used in the positive part of a clause.

Bug fixes:

  • Fix simplification of linear expressions, negative coefficients could sometimes result in incorrect bounds
  • Fix bounds computation for unary minus operator
  • Add missing par set comparison builtins
  • Fix bounds computation for extended comprehension syntax
  • Fix a bug in the garbage collector that could sometimes lead to premature deletion of expressions
  • Fix bounds computation for set difference
  • Fix duplication of some arrays in the FlatZinc (fixes issue 3)
  • Fix bounds inference for variables bound to empty sets (fixes issue 3)
  • Fix bug in error reporting function, which would sometimes not report the entire call stack
  • Fix the generation of fresh variable names for generator expressions
  • Fix subtype check to allow empty arrays as subtype of arrays of sets
  • Fix crash when using assert/2
  • Fix bug when function used in output referred to par variable
  • Fix bug in type checker, the detection of cyclic definitions was not correct and could lead to stack overflows
  • Fix parser to accept expressions with two consecutive array accesses (like x[3][4], which are valid MiniZinc if x is an array of sets)
  • Fix error reporting when an evaluation error occurs within a comprehension generator
  • Report type error on some ambiguous function calls
  • Report type error on var sets with element type other than int
  • Report type error when trying to coerce a var set into an array
  • Report error when calling function with a value that is outside the declared parameter bounds
  • Fix arg_sort builtin to implement the correct semantics
  • Fix sort_by builtin to sort in non-decreasing order, and work with floats
  • Fix bug in type checker, now automatic coercions in functions defined with type variables (like the comparison operators) work correctly
  • Check that index sets match for arrays assigned in let expressions
  • Fix bug in bounds inference for integer expressions with annotations
  • Fix propagation of defines_var annotation to be pushed through calls
  • Fix parser to accept empty 2d and 3d array literals
  • Fix flattening to remove defines_var annotations with par argument, e.g. defines_var(2), which could be introduced by the optimisation pass
  • Fix output model creation for variables that have been redefined, and remove more unused variables from the FlatZinc.
  • Fix bug in the garbage collector that could result in function items not being kept alive in rare cases.

Version 2.0.1

(released 15 December 2014)

Major bugs and changes:

  • Fix optimisation phase, which was previously incorrectly removing variables
  • Add support for trigonometric functions (built-ins were missing in 2.0.0) and pow (var versions were missing)
  • Fix equality operator on par arrays
  • All expressions in output model are now made par
  • Improve bounds computation for float variables
  • Fix translation of functions that need automatic coercion of their return value
  • Fix the array_lb and array_ub builtins, which would return incorrect bounds in some cases

Minor bugs and changes:

  • Add space between “array” and “[” in the pretty printer, to be compatible with 1.6 output
  • Output all par declarations before the var declarations in FlatZinc
  • Fix parser, which could sometimes crash on invalid input
  • Improve efficiency of bounds computation on some float expressions
  • Add special case handling for division by 1
  • Add missing float_times definition to the flatzinc builtins
  • Use correct version of var_dom for float variables
  • Output information about which files are included in verbose mode
  • Only compute bounds for “then” expressions if the “if” is not fixed to false

Version 2.0.0

(released 9 December 2014)

MiniZinc 2.0 contains many new features and is based on a complete rewrite of the MiniZinc-to-FlatZinc compiler. If you are currently using the previous version 1.6, the new tools can be used as drop-in replacements. The generated FlatZinc is compatible with version 1.6, so all FlatZinc solvers should work without changes.

MiniZinc language changes

  • MiniZinc now supports user-defined functions. Details have been published in the paper “MiniZinc with Functions”. Both functions and predicates can be recursive.
  • MiniZinc now supports option types. Details have been published in the paper “Modelling with Option Types in MiniZinc”.
  • Let expressions have been generalised. They can now contain constraint items in addition to variable declarations.
  • Array index sets can be declared using arbitrary set expressions as long as they evaluate to contiguous ranges.
  • The if-then-else expression has been generalised to allow the condition to be a var bool expression (instead of only par bool).
  • Array and set comprehensions as well as generator calls can now iterate over variables and use var bool where conditions.
  • Any bool expression can now automatically coerce to an int expression, likewise for int and float. This means that you don’t have to write bool2int or int2float in you models any more.
  • Equality constraints can now be posted between array expressions.
  • Arbitrary expressions can now be included (“interpolated”) into strings, using the syntax “some text \(e) some more text”, where e is any expression. It is the same as writing “some text “++show(e)++” some more text”.

New built-in functions

  • Array functions: array1d, arrayXd, row, col, has_index, has_element, sort_by, sort, arg_sort, arg_min, arg_max

New global constraints

  • arg_max, arg_min
  • arg_sort
  • k-dimensional diffn
  • disjunctive
  • geost
  • knapsack
  • network_flow
  • regular with NFAs
  • symmetric all different
  • optional scheduling constraints: alternative, span, disjunctive, cumulative
  • functional versions of many global constraints

New tool chain

  • There are a few new builtins that solvers can reimplement, these are listed in the redefinitions-2.0 file.
  • Include items use a different method for finding included files. Paths are now interpreted as relative to the file that has the include item. That way, the mzn2fzn compiler can be called from a different working directory.
  • A new tool, mzn2doc, can produce html output from the documentation comments. The MiniZinc distribution contains the documentation for global constraints and builtins generated directly from the library source code.