Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP4:SLECandidates
libminizinc
libminizinc.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File libminizinc.changes of Package libminizinc
------------------------------------------------------------------- Sat Dec 30 05:08:48 UTC 2023 - Stefan Brüns <stefan.bruens@rwth-aachen.de> - 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 <dmueller@suse.com> - 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 <stefan.bruens@rwth-aachen.de> - 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 <stefan.bruens@rwth-aachen.de> - 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 <stefan.bruens@rwth-aachen.de> - 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 <stefan.bruens@rwth-aachen.de> - Initial package version (2.6.2)
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
