.gitignore

@@ -0,0 +1 @@
+.osc

libminizinc-2.8.2.tar.gz

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e8b5c037e1d9711803e05ef6eaf416d5ed080f57cc0867d3c6ec3b1304bfd375
-size 8026563

libminizinc-2.8.5.tar.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db
+size 8050297

libminizinc.changes

@@ -1,3 +1,159 @@
+-------------------------------------------------------------------
+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>
 

libminizinc.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package libminizinc
 #
-# Copyright (c) 2023 SUSE LLC
+# Copyright (c) 2024 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -17,7 +17,7 @@
 
 
 Name:           libminizinc
-Version:        2.8.2
+Version:        2.8.5
 Release:        0
 Summary:        A high-level constraint modelling language
 Group:          Productivity/Scientific/Math