Changelog for libminizinc-devel-2.8.5-15.1.x86_64.rpm :

* Sun Sep 08 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 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 09 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 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 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 2022 Stefan Brüns - Depend on gecode for building the presolver, and recommend the gecode-minizinc solver plugin.
* Tue Apr 26 2022 Stefan Brüns - Initial package version (2.6.2)