rpm/libminizinc
SHA256
1
0
Fork 0
forked from pool/libminizinc
Code Pull Requests Activity
7ff4a88f33
libminizinc/libminizinc.changes
Dmitry Roshchin 3d1d9f345a - 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`).

OBS-URL: https://build.opensuse.org/package/show/science/libminizinc?expand=0&rev=11
2024-09-12 06:48:05 +00:00

445 lines
21 KiB
Plaintext
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

-------------------------------------------------------------------
Sun Sep 8 15:51:24 UTC 2024 - Dirk Müller <dmueller@suse.com>
- 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 <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)
View Git Blame Copy Permalink