------------------------------------------------------------------- Sun Sep 8 15:51:24 UTC 2024 - Dirk Müller - update to 2.8.5: * Fix specification for constraint items and annotations in FlatZinc JSON. * Fix flattening of negated let expressions with constraints. * Fix crash when equating identifiers to tuples/records in if- then-else expressions. * Fix string_length function to return the number of Unicode code points rather than the number of bytes (i.e., to interpret the string as UTF-8). * Emit type error for opt tuples and records created through type aliases. * Fix evaluation of par partial functions returning arrays. * Fix type inference for if-then-else expressions with different tuple or record types in the branches. * Fix evaluation error caused by removal of fixed FlatZinc variables without fixing them in the output model. * Fix computed type when flattening cv comprehensions containing tuple or record types. * Fix unsatisfiability caused by reification in negated boolean context (:bugref:`813`). * Fix bug in computation of common type of incompatible record types. * Fix crash when type checking nested arrays of tuples or records. * Fix incorrect unification of flattened tuple/record fields with paths enabled. * Add string_split function that splits a string into an array of strings based on a separator. * Add json_section annotation to mark an output item as a JSON section (:bugref:`816`). * Add -w and --disable-warnings flags that will suppress all warnings emitted by the flattening process. * Add option for solver libraries to set mzn_opt_annotate_computed_domains such that the compiler will signal domains that are enforced by separate constraints using a computed_domain annotation. * Always output multidimensional arrays as nested arrays when using showJSON for consistency. * Add missing implementation for default for sets expressions. * Add missing optional versions of unary mathematical functions/operators. * Improve special-case handling of boolean <-> and xor operators. * Fix bundled OpenSSL libraries on Windows. * Allow MOOC submission window to be scrolled. * Increase hard process termination timeout to 1s. * Fix crash when using records inside solution checker modules. * Fix pretty printing of record literals and types with unicode field names. * Fix creation of par versions functions containing var binary/unary operators (:bugref:`792`). * Fix potential crash when printing of output model involving records. * Fix computation of supertype of tuples/records involving <> fields. * Fix a bug where the compiler would incorrectly set variable domains as computed when processing linear constraints. * Fix invalid JSON produced by MIP interfaces due to infinite values for statistics. * Fix possible crash during type specialisation involving array [_] of $$T types. * Fix output of structured types containing arrays of enums (:bugref:`793`). * Fix justified formatting to work with arrays of enums. * Fix incorrect unification of arrays of reverse mapped variables with paths enabled. * Fix problem where incorrect type errors would occur when merging records or tuples types in an array declaration. * Fix bug where unused reverse-mapped variables were removed from the output model while still being marked as output in the FlatZinc. * Fix decomposition of set variables with empty domains when using nosets.mzn. * Fix a problem where the reduced range syntax in combination with enums would produce an error when the resulting range was empty. * Fix incorrect unification of tuple/record fields in array accesses with paths enabled (:bugref:`802`). * Fix crash when using tuples/records in par arrays or calls containing var expressions. * Fix bug where variables could be removed from the FlatZinc but not the output model when optimising bool2int (:bugref:`803`). * Add missing coercions for comprehension where clauses and assignment generators (:bugref:`807`). * Fix bug in handling of domains for structured types during type specialisation. * Fix handling of search annotations when reading FlatZinc files. * Fix bug during optimisation which could cause the compiler to hang due to not updating hashes of identifiers (:bugref:`805`). * Fix incorrect definition of all_different in the gecode_presolver library where it was not enforced that fixed values be all different (:bugref:`798`). * Fix crash when resolving type aliases for function parameters with $T array dimensions (:bugref:`806`). * Fix default operator for par opt set parameters (:bugref:`809`). * Fix output of par opt set enumerated types. * Fix pretty printing of records when using the document printer. * Fix internal error when binding numeric literals to declarations with existing right-hand sides. * Fix contexts of arguments of double-negated integer comparisons (:bugref:`810`). * Fix context of indices in array access expressions (:bugref:`719`). * Fix problem where specialised flattening for some forms of binary operators would not correctly forward the partiality of its arguments (:bugref:`766`). * Remove internal duplicate functionality that could sometimes cause problems when assigning variables in constraints (:bugref:`769`). * Do not try to check right hand side of parameter variable declarations that are par because of singular domains (:bugref:`771`). * Fix a problem in the parser where anonymous enumerated types could not be used in DZN files (:bugref:`776`). * Fix identifier lookup bug in internal Chuffed interface (:bugref:`782`). * Fix some minor inconsistencies in the FlatZinc JSON schema and generation. * Fix crash involving var comprehensions with set types by rejecting unsupported type (:bugref:`779`). * Fix internal error during evaluation of par opt set expressions. * Fix invalid FlatZinc produced when search annotations are passed non-1-based arrays (:bugref:`768`). * Fix bug in evaluation of annotations causing invalid FlatZinc to be produced (:bugref:`768`, :bugref:`788`). * Fix substitution of fixed objective variable value into solve item (:bugref:`773`). * Fix check for presence of set2iter redefinition (:bugref:`778`). * Fix incorrect removal of constraint due to use of redefinition of bool_clause_reif when constraint is not reified (:bugref:`785`). * Remove documentation of strictly_increasing (and decreasing) for bool types, and change definition from a solver redefined global, to a simple library definition with user warning (:bugref:`784`). * Add version of strictly_increasing (and decreasing) for float, opt float, and set of int types. * Automatically detect SCIP 8.1.0 and potential future versions on Windows. * Fix crash when using type aliases with -O2 (:bugref:`783`). * Automatically detect Gurobi 11.0 and potential future versions. * Allow array literals with all <> members (:bugref:`747`). * Increase maximum number of threads from default Qt limit (:idebugref:`196`). ------------------------------------------------------------------- Sat Dec 30 05:08:48 UTC 2023 - Stefan Brüns - update to 2.8.2: * Bug fixes: + Fix incorrect FlatZinc definition in the gecode_presolver solver library. + Fix type specialisation for function with an polymorphic array argument and a non-array return type with the same type-inst identifier. + Fix crash during typechecking of overloaded functions differing only by inst returning structured types. + Fix incorrect type checking of polymorphic functions with type-inst IDs inside structured types. + Fix evaluation error when boolean variables are fixed during flattening. + Fix incorrect call names output when generating .ozn files. + Fix incorrect output of record access as tuple access in .ozn files. + Fix definition of array_intersect so that it can be used in non-positive contexts. + Fix standards definitions of increasing variants to correct be ignored when the argument array is empty. + Fix a problem where exceptions thrown for undefined expressions were not caught during the aggregation of linear expressions, breaking relational semantics. + Fix crash when calculating computed domain of a declaration. + Fix x-y line/scatter visualisations. * Changes: + Support var set``s of enums for ``array_union and array_intersect. + Support var enums for the .. range operator. + Always perform substitution of fixed values before outputting FlatZinc for consistency. * Changes in the IDE: + Make process handling more robust to failures. - update to 2.8.1: * Bug fixes: + Fix incorrect message for par array out of bounds indicating that array is empty + Fix incorrect propagation of Boolean variables potentially causing output not accepted by Gecode and Chuffed. + Fix a problem where the usage of lb on a Boolean expression would return -infinity.. + Fix omission of error location when there is no stack trace available. + Fix type specialisation to always make par versions of functions available for output. + Fix internal error when checking return value of functions involving arrays of optional values. + Fix incorrect false values for has_output_item when running with --model-interface-only + Fix translation of search annotations with multi-dimensional arrays as arguments. + Fix bug in output generation for some visualisation functions. + Fix problem where tuple or record assignments would sometimes trigger segmentation faults. + Fix context when binding the result of flattening a concatenation operation, resolving a possible segmentation fault. + Fix incorrect possible evaluation error for in operator involving an array RHS. * Changes: + Add --solution-checker option to allow specifying the solution checker (allowing use from a parameter configuration .mpc file). + Produce tighter bounds in compute_mod_bounds for the mod operator. * Changes in the IDE: + Fix command used to run findMUS and Globalizer. + Add ability to set the ports used for the visualisation server. + Add option for printing the visualisation server URL for debugging purposes. + Add more information to subprocess error messages. - update to 2.8.0: * Changes in interfaces to solvers: + OR-Tools is now bundled with the MiniZinc IDE on all platforms. + HiGHS is now loaded as a dynamic plugin instead of statically linked, and now supports outputting intermediate solutions for optimisation problems. + Add support for producing a JSON-based version of FlatZinc as the output format of the MiniZinc compiler. + Replace supportsMzn, supportsFzn and supportsNL solver configuration flags with new option inputType. The old flags are still supported for backwards compatibility. + Add experimental support for restart based meta-search specification for the Gecode and Chuffed solvers, as first explored in Solver-Independent Large Neighbourhood Search and A Modern Architecture for Constraint Modelling Languages. + Automatically detect current versions of CPLEX. * Changes in the MiniZinc Library: + Add cumulatives scheduling global constraint. + Add the opt variants of the global_cardinality functions, and add enumerated type typesafety between the values of the decision variables and the cover parameters. + Add optional versions of count_* global constraints. + (strictly_)decreasing will now always be rewritten into (strictly_)increasing and has support for option types. + Allow libraries to define how to iterate over var set of int using the function set2iter, useful for different set representations. + Stabilise the IDE visualisation library, allowing all visualisation functions to be used from output statements, and removing the need for manual calls to showJSON in custom visualisations. This is a breaking change for users of the previous experimental API. + Add mzn_half_reify_clause compiler option to allow solvers to disable the half reification of bool_clause constraints. + Update the reflection functions ub, lb, and dom to return enum values. + Use tuples to implement the decomposition of optional variables, avoiding possible CSE aliasing problems. * Changes in the compiler: + CSE has been adjusted to handle commutative functions when annotated using the promise_commutative annotation. + mzn_reverse_map_var is now only called on output variables that do not yet have reverse mappers after initial flattening, but are required by the output model. + Improve error messaging for invalid parameter configuration (.mpc) files. + Add a list of messages generated by solution checkers to the checker message when using --json-stream. + Support output of command line argument parsing errors in --json-stream mode. * Bug fixes: + Fix restoration of tuple/record domains when flattening let expressions. + Fix type checking error due to creation of incorrect par versions of functions involving tuples/records. + Ensure that when --solver is used, the given solver configuration file is always selected even when it collides with a solver in the search paths. + Fix error when running satisfaction problems using the Gecode presolver where an output variable is also an introduced variable. + Resolve a problem where unification in the optimization phase might remove variables part of the output. + Fix possible crash when printing the final solution using the built-in Chuffed interface. + Don’t print the final status line from solution checkers. + Fix typechecking of par type-inst identifiers when instantiated using structured types involving var types. + Implement fix and is_fixed for strucutred types. + Ensure reverse mappers are created when flattening tuple/record literals. This resolves certain errors during output processing in models using these types. + Fix problem where certain strings in exceptions might be garbage collected before they are output. + Fix problem where argument names of generated functions could conflict with model declared names. + Fix problem where the common type of complex records or tuples was not correctly determined in the array literals. + Fix a problem in the parser where a nullptr would be used before a syntax error was thrown. + Fix error management when reading preference files. + Fix segmentation fault caused by the creation of invalid domain constraints generated for functions with arrays of tuples or records parameters. + Fix crash when instantiating a type-inst identifier using only <>. + Fix evaluation of comprehensions containing opt string. + Fix crash when instantiating polymorphic functions using tuples/records with many var or opt fields. + Do not generate default DZN output when there are only sectioned output items present. + Fix the edge indexing of the edges for the final node in the neural_net global constraint. + Add better error messaging when an index set mismatch is encountered in the standard library. + Fix evaluation error when indexing into an array using <>. + Fix incorrect unsatisfiability when equating optional variables with non-intersecting domains. + Fix array access using optional indices for multidimensional arrays. + Fix output of zero length arrays of optional variables. + Fix output processing performance degradation when printing arrays in DZN output mode. + Fix card function on set of floats and bools. + Make set literals containing strings or annotations a type error. * Changes in the IDE: + Fix unreadable cheat sheet font colour in dark mode. + Add option to output objective value and enable by default. + Show manually input parameters in output window. + Fix missing checker messages. + Fix incorrect OpenSSL version in Linux packages. - Add minimal checks - Add patches: * 0001-Disambiguate-UNKNOWN-EXCEPTION.patch * 0002-Catch-std-exception-by-const-reference.patch * 0003-Try-to-get-some-more-information-when-catching.patch ------------------------------------------------------------------- Thu Nov 9 09:14:34 UTC 2023 - Dirk Müller - update to 2.7.6: * Change the library and solver configuration path of builtin version of Chuffed to prevent file conflicts * Use the verbose compilation flag to control the verbosity of the MIP domains stage * Introduces the ``arg_val`` and ``arg_val_weak`` globals that return the index of the first occurrence of a value in a given array. * Introduces the ``var_perm_sym`` and ``var_sqr_sym`` symmetry breaking globals. * Enable parallel search for the built-in Gecode presolver. * Use native Qt dark mode on Windows where supported. * Improve behaviour of the custom solver parameter dialog. * ``ASTString`` constructor that uses ``std::string`` is now explicit to avoid unexpected or unnecessary GC allocation. * Circular definitions through the use of annotations will now be reported as type errors, rather incurring infinite recursion * Optimize the compilation of identical calls in different contexts by recursively changing the contexts of the (uncompiled) dependent calls, instead of flattening multiple times. * Change domains of set variables when encountering (par) equalities, or negated ``in`` constraints at the root level. * Calls to ``min`` and ``max`` with ``par set of int`` type argument will now be undefined (becoming ``false`` in the closest Boolean context). This makes them consistent with the calls with an argument of type ``var set of int``. * Note that previous behaviour would have returned ``infinity`` or ``-infinity`` respectively (:bugref:`661`). * Only show MOOC error code when response is actually an error * Add documentation for ``--input-is-flatzinc`` flag * Add ``ceil``, ``floor`` and ``round`` functions for ``var float``, and corresponding FlatZinc builtins ``float_ceil``, ``float_floor`` and ``float_round`` that can be overridden by solvers in the new ``redefinitions-2.7.1.mzn`` library file * Fix highlighting of multiline comments starting with ``/*/`` * Fix bundling of incompatible OpenSSL version in linux packages. * Support for tuple and record types as well as type-inst synonyms has been added. * Extended enumerated types can now be constructed from non- contiguous sets. * WebAssembly is now fully supported as a target platform. * MiniZinc now includes a solver interface for the `HiGHS linear optimisation suite. HiGHS is included by default in the MiniZincIDE package, and available using ``--solver highs``. * The SCIP interface has been updated and is now compatible with version 7 and 8 only. * A solver's globals library specified in a configuration file will now always be passed to the compiler using the ``-G`` flag. This allows users to easily override this library from command line when required. * Automatically detect Gurobi 10.0 and potential future versions. * Avoid loading all solver plugin DLLs on startup, instead loading when required. * The non-FlatZinc interfaces now also accept the ``--free- search`` flag in addition to the ``-f`` flag. * Ensure user config directory is created when modifying solver search paths (:idebugref:`167`). * Add tooltips to the CP-Profiler status bar legend. * Add support for mooc submissions which include file editing history. * bugfixes ------------------------------------------------------------------- Sat Jul 16 21:50:27 UTC 2022 - Stefan Brüns - Update to version 2.6.4 https://github.com/MiniZinc/libminizinc/blob/2.6.4/changes.rst - Drop upstream patches: * 0001-Fix-missing-return-in-non-void-function.patch * 0001-Add-memory-include-required-for-unique_ptr.patch ------------------------------------------------------------------- Sat May 21 10:47:50 UTC 2022 - Stefan Brüns - Update to version 2.6.3 https://github.com/MiniZinc/libminizinc/blob/2.6.3/changes.rst - Fix build with GCC 12.1.0, add 0001-Add-memory-include-required-for-unique_ptr.patch ------------------------------------------------------------------- Thu Apr 28 12:47:40 UTC 2022 - Stefan Brüns - Depend on gecode for building the presolver, and recommend the gecode-minizinc solver plugin. ------------------------------------------------------------------- Tue Apr 26 20:51:53 UTC 2022 - Stefan Brüns - Initial package version (2.6.2)