From 8d73a1a6cd5dc3f6f4eb9082c6a0893814a80cb7c04c034c3700f7ea22e303d0 Mon Sep 17 00:00:00 2001 From: Dirk Stoecker Date: Thu, 16 Nov 2023 16:55:51 +0000 Subject: [PATCH] Accepting request 1124371 from home:dirkmueller:Factory - 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 OBS-URL: https://build.opensuse.org/request/show/1124371 OBS-URL: https://build.opensuse.org/package/show/science/libminizinc?expand=0&rev=7 --- libminizinc-2.6.4.tar.gz | 3 -- libminizinc-2.7.6.tar.gz | 3 ++ libminizinc.changes | 67 ++++++++++++++++++++++++++++++++++++++++ libminizinc.spec | 6 ++-- 4 files changed, 73 insertions(+), 6 deletions(-) delete mode 100644 libminizinc-2.6.4.tar.gz create mode 100644 libminizinc-2.7.6.tar.gz diff --git a/libminizinc-2.6.4.tar.gz b/libminizinc-2.6.4.tar.gz deleted file mode 100644 index 964a7a2..0000000 --- a/libminizinc-2.6.4.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:f1f5adba23c749ddfdb2420e797d7ff46e72b843850529978f867583dbc599ca -size 12975175 diff --git a/libminizinc-2.7.6.tar.gz b/libminizinc-2.7.6.tar.gz new file mode 100644 index 0000000..5698b32 --- /dev/null +++ b/libminizinc-2.7.6.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:99de3a1051bd4b3ed2d436f62d965fce067286d954b5693d74a5f7c75877ddfb +size 13053472 diff --git a/libminizinc.changes b/libminizinc.changes index 057e1c5..dfb516e 100644 --- a/libminizinc.changes +++ b/libminizinc.changes @@ -1,3 +1,70 @@ +------------------------------------------------------------------- +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 diff --git a/libminizinc.spec b/libminizinc.spec index 6652f39..b1a9d68 100644 --- a/libminizinc.spec +++ b/libminizinc.spec @@ -1,7 +1,7 @@ # # spec file for package libminizinc # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2023 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.6.4 +Version: 2.7.6 Release: 0 Summary: A high-level constraint modelling language Group: Productivity/Scientific/Math @@ -26,8 +26,8 @@ URL: https://www.minizinc.org/ Source: https://github.com/MiniZinc/libminizinc/archive/refs/tags/%{version}.tar.gz#/%{name}-%{version}.tar.gz BuildRequires: cmake >= 3.4.0 BuildRequires: gcc-c++ -BuildRequires: pkgconfig(mpfr) BuildRequires: gecode-devel +BuildRequires: pkgconfig(mpfr) %description MiniZinc is a free and open-source constraint modeling language.