| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libminizinc-devel | Distribution: openSUSE Tumbleweed |
| Version: 2.9.3 | Vendor: openSUSE |
| Release: 1.1 | Build date: Sat Aug 22 18:22:11 2026 |
| Group: Development/Libraries/C and C++ | Build host: reproducible |
| Size: 777462 | Source RPM: libminizinc-2.9.3-1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://www.minizinc.org/ | |
| Summary: A high-level constraint modelling language | |
MiniZinc is a free and open-source constraint modeling language.
MPL-2.0
* Sat Aug 22 2026 Dirk Müller <dmueller@suse.com>
- update to 2.9.3:
* Add mzn_max_version_required to enable models to speficy the
maximum version of MiniZinc required to run the model
(:bugref:`872`).
* Replace use of ptrdiff_t with appropriate unsigned integer
type.
* Clarify documentation example use of boolean extra flags in
solver configuration files.
* Warnings produced in solution checkers are now output as part
of the checker message when running in --json-stream mode.
* Fix the rewriting of the multidimensional search annotations
to ensure correct coercion of arguments (:bugref:`897`).
* Output location of some errors where the problematic
expression previously did not have a location
(:bugref:`899`).
* Fix domain computation to avoid variables being moved to the
output model when they are constrained (:bugref:`911`).
* Fix output processing to also respect the -o flag when
flattening already detects unsatisfiability (:bugref:`908`).
* Report an error when solving a FlatZinc file that does not
contain a solve item (:bugref:`907`).
* Pass command line options to the compiler phases earlier to
avoid problems with e.g. the --disable-warnings flag
(:bugref:`893`).
* Fix incorrect generation of par versions of functions
referencing top-level tuples/records containing var fields
(:bugref:`919`).
* Fix problem where using an iterator of variable tuple or
record types could result in a segfault (:bugref:`901`).
* Fix a problem where an operator such as <= on an optional
type would sometimes lead to an internal compiler error
(:bugref:`898`).
* Print enum values in stack traces (:bugref:`912`).
* Fix a bug where incompatible overloads could be used when
dispatching to more specific versions of functions
(:bugref:`905`).
* Fix internal error when constraining the domain of var opt
bool variables.
* Fix record merge operator when evaluated via a field access
(:bugref:`892`).
* Update documentation to indicate that the float_ceil,
float_floor, and float_round FlatZinc builtins need to be
placed in redefinitions-2.7.1.mzn (:bugref:`914`).
* Fix handling of basic standard flags when running .fzn files
(:bugref:`920`).
* Fix return type computation for generic functions called with
tuple or record types (:bugref:`902`).
* Fix type computation for arrays of tuples/records containing
$T members.
* Fix flattening of anonymous variables of enum type to be
correctly bounded.
* Emit type errors for unsupported usage of anonymous variables
in tuples and records.
* Fix incorrect flattening of in for tuples/records containing
optional values (:bugref:`900`).
* Suppress warnings generated when running compiled solution
checkers.
* Prevent output of and emit warning for invalid statistics in
JSON streaming mode.
* Fix crash in string interpolation (:bugref:`891`).
* Fix row and col functions to use enumerated types instead of
int (:bugref:`888`).
* Don't include empty stack traces in JSON stream errors or
warnings (:bugref:`880`, :idebugref:`212`).
* Wait 1 second between sending SIGTERM and SIGKILL signals to
solvers to allow more time for cleanup (:bugref:`882`).
* Fix a bug where calls to enum2int weren't correctly removed
in comprehensions, leading to an internal error
(:bugref:`879`).
* Fix false-positive implicit enum coercion warnings when
calling card and some inequality operators.
* Fix false-positive implicit enum coercion warnings for calls
with comprehension arguments (:bugref:`887`).
* Recursively type check type-insts of variable declarations
and function items. This enables enum constructors and other
functions to be used on the left hand side of declarations,
and allows overloading of functions with identifiers in type-
insts to be correctly resolved.
* This enables enum constructors and other functions to be used
on the left hand side of declarations, and allows overloading
of functions with identifiers in type-insts to be correctly
resolved.
* Fix type error in flexible job shop documentation example
caused by change of signature of cumulative to enum-safe
version in 2.9.0.
* Accept enum types for the two argument regular constraint to
avoid false-positive warnings about implicit enum to int
coercion.
* Disallow multiple comma-separated arguments in string
interpolations, which previously caused unexpected behaviour.
* Fix incorrect output of non-improving solutions when using
HiGHS.
* Use scroll buttons when the tab bar overflows to ensure the
side panels can be resized (:idebugref:`213`).
* Add support for elseif in if then elseif endif expressions
without an else branch.
* Make sort functions return array of enum when input is array
of enum (:bugref:`853`).
* Make the mzn_in_root_context function (which is used only
internally and should not be used in user models) more
flexible in where it can be called.
* Update packaged version of the HiGHS solver to version 1.8.1.
* Update Gurobi interface to be compatible with Gurobi 12.0.0.
* Address compiler warnings concerning unsafe signed/unsigned
comparisons and implicit casts between different integer
types.
* BREAKING: The usage of --compile (or -c) flag now requires
the user to explicitly specify the solver for which the
MiniZinc instance is being compiled, using --solver. To
select the default solver (and keep the previous behaviour)
you can use --solver default.
* Add the --fzn-format flag to influence whether the generated
FlatZinc from --compile or --fzn is given in the traditional
FlatZinc format or the new JSON-based format. (:bugref:`868`)
* Comments regarding the compilation invocation are now
included in user-facing FlatZinc (.fzn) files, created by the
- -compile or --fzn flags.
* Add par version of the among function.
* Add support for arrays containing arrays (which only support
access using par indices).
* Add diversity.mzn library to be used with the diverse
solutions toolchain included in MiniZinc Python.
* Ensure the MiniZinc directory is added to the DLL search path
when running child processes on Windows (:idebugref:`206`).
* Add par implementations for the arg_val and arg_val_weak
functions.
* Add support for calling enum constructors without arguments
to return the set of all constructed values.
* Deprecate and emit warning for implicit coercion of enums to
integers. The enum2int function should be used to perform the
coercion where required.
* Fix boolean context when flattening tuple or record literals
containing booleans.
* Fix memory leak in overflow handler.
* Fix crash when calling outputJSON (:bugref:`856`).
* Fix incorrect typing of arrays in assignment generators
(:bugref:`858`).
* Fix bug in flattening of implication with optional right hand
side.
* Fix flattening of exists and forall with optional arguments.
* Fix handling of absent values when removing unused code
(:bugref:`864`).
* Fix compilation of empty arrays with empty domains
(:bugref:`860`).
* Fix evaluation of dom_array on par arrays (:bugref:`851`).
* Fix flattening of array slices inside tuples and records
(:bugref:`859`).
* Fix defines_var annotation for cyclic and missing definitions
(:bugref:`863`).
* Fix assertion failures when using arrays as argument to bin
packing constraints (:bugref:`865`).
* Fix operator precedences for intersect and unary plus/minus.
* Fix crash when type instance concatenation is performed on
invalid types (:bugref:`867`).
* Fix a segfault caused by an internal float_times variant not
correctly being handled during output processing
(:bugref:`870`).
* Fix incorrect non-uniform if-then-else type error when one
branch is an empty array and another branch is an array of
tuples or records.
* Fix type checking for any` in let expressions with tuple
types.
* Fix pretty printing of variable declarations with any type.
* Fix bug where the JSON parser would not add absent literals
for known optional types that are missing from the JSON
objects.
* Sat Jan 18 2025 Stefan Brüns <stefan.bruens@rwth-aachen.de>
- update to 2.8.7:
* Bug fixes:
+ Fix bug that caused where clauses to be removed from
comprehensions.
+ Fix optimisation of Boolean constraints that could sometimes
trigger an assertion failure in debug builds.
- update to 2.8.6:
* Changes:
+ Variable in operators on arrays of (nested) records and
tuples containing only enumerable (enum, int, or bool) will
now be rewritten into table global constraints.
+ Values that are par in the left hand side will be checked and
filtered from the resulting table constraint.
+ Variable <, <=, > and >= operators on (nested) records and
tuples containing only enumerable (enum, int, or bool) will
now be rewritten into lex_less or lex_lesseq global
constraints.
+ Automatically detect SCIP 9.0.1 and potential future versions
on Windows.
+ The interface to the HiGHS solver now requires version 1.7.2
or later.
+ Enforce strict enum type correctness for set operations.
+ Add par opt overloads of min / max and return enum values
instead of coercing to integers.
+ Use half-reification only when there isn’t a reification that
is a more specific match.
+ Add multidimensional overloads for the ++ array concatenation
operator.
* Bug fixes:
+ Fix incorrect type error for array literals where the first
element is <> and subsequent elements are sets.
+ Fix missing code block in visualisation feature
documentation.
+ Emit type error when using variable if-then-else/array access
containing tuples or records containing non-varifiable types.
+ Emit type error when using a variable comprehension with a
tuple/record type.
+ Emit type error when using optional array access for arrays
of tuples/records.
+ Emit type error for array literals with <> and var set
elements.
+ Fix missing cross-references for IDE preference dialog
documentation figures.
+ Fix crash when using nested tuples/record types inside var
if-then-else expressions.
+ Fix evaluation error for comprehensions with an initial
assignment generator and a where clause which doesn’t involve
any of the generator identifiers.
+ Fix type checking of if then else expressions with _ in the
else branch.
+ Fix parsing of the most negative integer literal.
+ Fix typo in warning messages for undefined results in
function calls.
+ Fix bug in flattening identifier causing debug assertion to
fail.
+ Fix missing type when flattening indexed var comprehension
leading to error or incorrect value type.
+ Fix crash when generating error message for mismatched index
set where an enum index set is empty.
+ Fix crash due to incorrect handling of negated constraints
matching entry in CSE map.
+ Fix type error due to missing overload of max.
+ Fix handling of contexts and maybe_partial annotations when
flattening par expressions.
+ Fix par evaluation of boolean operators where an operand is
an array access into an empty array literal.
+ Fix crash when concatenating arrays of annotations.
+ Ensure DZN output of enum index sets of multidimensional
arrays is properly quoted.
+ Fix parsing of enumerated values in JSON for integer
parameters.
+ Fix crash during flattening of clauses with opt bool
arguments.
+ Fix the coercions of index set for empty array literals to
allow any of the index sets to be empty.
+ Fix behaviour of overloading for the ++ operator.
+ Avoid outputting objective statistic when value is invalid
for MIP solvers.
+ Fix bug in unification of aliased output variables when using
- O2 and above.
* Sun Sep 08 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 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 09 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 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 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 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 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de>
- Initial package version (2.6.2)
/usr/include/minizinc /usr/include/minizinc/MIPdomains.hh /usr/include/minizinc/_thirdparty /usr/include/minizinc/_thirdparty/b64 /usr/include/minizinc/_thirdparty/b64/ccommon.h /usr/include/minizinc/_thirdparty/b64/cdecode.h /usr/include/minizinc/_thirdparty/b64/cencode.h /usr/include/minizinc/_thirdparty/b64/decode.h /usr/include/minizinc/_thirdparty/b64/encode.h /usr/include/minizinc/_thirdparty/cplex_interface.h /usr/include/minizinc/_thirdparty/gurobi_interface.h /usr/include/minizinc/_thirdparty/highs_interface.h /usr/include/minizinc/_thirdparty/miniz.h /usr/include/minizinc/_thirdparty/scip_interface.h /usr/include/minizinc/_thirdparty/xpress_interface.h /usr/include/minizinc/algorithms /usr/include/minizinc/algorithms/min_cut.h /usr/include/minizinc/ast.hh /usr/include/minizinc/ast.hpp /usr/include/minizinc/astexception.hh /usr/include/minizinc/astiterator.hh /usr/include/minizinc/astmap.hh /usr/include/minizinc/aststring.hh /usr/include/minizinc/astvec.hh /usr/include/minizinc/builtins.hh /usr/include/minizinc/chain_compressor.hh /usr/include/minizinc/config.hh /usr/include/minizinc/copy.hh /usr/include/minizinc/eval_par.hh /usr/include/minizinc/exception.hh /usr/include/minizinc/file_utils.hh /usr/include/minizinc/flat_exp.hh /usr/include/minizinc/flatten.hh /usr/include/minizinc/flatten_internal.hh /usr/include/minizinc/flattener.hh /usr/include/minizinc/gc.hh /usr/include/minizinc/hash.hh /usr/include/minizinc/htmlprinter.hh /usr/include/minizinc/interrupt.hh /usr/include/minizinc/iter.hh /usr/include/minizinc/json_parser.hh /usr/include/minizinc/model.hh /usr/include/minizinc/optimize.hh /usr/include/minizinc/optimize_constraints.hh /usr/include/minizinc/output.hh /usr/include/minizinc/param_config.hh /usr/include/minizinc/parser.hh /usr/include/minizinc/parser.tab.hh /usr/include/minizinc/passes /usr/include/minizinc/passes/compile_pass.hh /usr/include/minizinc/passes/gecode_pass.hh /usr/include/minizinc/pathfileprinter.hh /usr/include/minizinc/plugin.hh /usr/include/minizinc/prettyprinter.hh /usr/include/minizinc/process.hh /usr/include/minizinc/solns2out.hh /usr/include/minizinc/solver.hh /usr/include/minizinc/solver_config.hh /usr/include/minizinc/solver_instance.hh /usr/include/minizinc/solver_instance_base.hh /usr/include/minizinc/solver_instance_defs.hh /usr/include/minizinc/solvers /usr/include/minizinc/solvers/MIP /usr/include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_cplex_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_highs_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_highs_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_scip_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_solverinstance.hh /usr/include/minizinc/solvers/MIP/MIP_solverinstance.hpp /usr/include/minizinc/solvers/MIP/MIP_wrap.hh /usr/include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh /usr/include/minizinc/solvers/MIP/MIP_xpress_wrap.hh /usr/include/minizinc/solvers/atlantis_solverfactory.hh /usr/include/minizinc/solvers/atlantis_solverinstance.hh /usr/include/minizinc/solvers/chuffed_solverfactory.hh /usr/include/minizinc/solvers/chuffed_solverinstance.hh /usr/include/minizinc/solvers/fzn_solverfactory.hh /usr/include/minizinc/solvers/fzn_solverinstance.hh /usr/include/minizinc/solvers/geas /usr/include/minizinc/solvers/geas/geas_constraints.hh /usr/include/minizinc/solvers/geas_solverfactory.hh /usr/include/minizinc/solvers/geas_solverinstance.hh /usr/include/minizinc/solvers/gecode /usr/include/minizinc/solvers/gecode/fzn_space.hh /usr/include/minizinc/solvers/gecode/gecode_constraints.hh /usr/include/minizinc/solvers/gecode_solverfactory.hh /usr/include/minizinc/solvers/gecode_solverinstance.hh /usr/include/minizinc/solvers/mzn_solverfactory.hh /usr/include/minizinc/solvers/mzn_solverinstance.hh /usr/include/minizinc/solvers/nl /usr/include/minizinc/solvers/nl/nl_components.hh /usr/include/minizinc/solvers/nl/nl_file.hh /usr/include/minizinc/solvers/nl/nl_solreader.hh /usr/include/minizinc/solvers/nl/nl_solverfactory.hh /usr/include/minizinc/solvers/nl/nl_solverinstance.hh /usr/include/minizinc/stackdump.hh /usr/include/minizinc/statistics.hh /usr/include/minizinc/support /usr/include/minizinc/support/regex.hh /usr/include/minizinc/support/regex_parser.tab.hh /usr/include/minizinc/timer.hh /usr/include/minizinc/type.hh /usr/include/minizinc/typecheck.hh /usr/include/minizinc/utils.hh /usr/include/minizinc/utils_savestream.hh /usr/include/minizinc/values.hh /usr/include/minizinc/warning.hh /usr/lib64/cmake/libminizinc /usr/lib64/cmake/libminizinc/FindGecode.cmake /usr/lib64/cmake/libminizinc/FindMPFR.cmake /usr/lib64/cmake/libminizinc/libminizincConfig.cmake /usr/lib64/cmake/libminizinc/libminizincConfigVersion.cmake /usr/lib64/cmake/libminizinc/libminizincTargets-relwithdebinfo.cmake /usr/lib64/cmake/libminizinc/libminizincTargets.cmake
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Sep 18 00:08:57 2026