Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libminizinc-devel-2.8.5-1.2 RPM for armv7hl

From OpenSuSE Ports Tumbleweed for armv7hl

Name: libminizinc-devel Distribution: openSUSE Tumbleweed
Version: 2.8.5 Vendor: openSUSE
Release: 1.2 Build date: Sun Sep 8 17:51:24 2024
Group: Development/Libraries/C and C++ Build host: reproducible
Size: 769737 Source RPM: libminizinc-2.8.5-1.2.src.rpm
Packager: http://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.

Provides

Requires

License

MPL-2.0

Changelog

* 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)

Files

/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/lib/cmake/libminizinc
/usr/lib/cmake/libminizinc/FindGecode.cmake
/usr/lib/cmake/libminizinc/FindMPFR.cmake
/usr/lib/cmake/libminizinc/libminizincConfig.cmake
/usr/lib/cmake/libminizinc/libminizincConfigVersion.cmake
/usr/lib/cmake/libminizinc/libminizincTargets-relwithdebinfo.cmake
/usr/lib/cmake/libminizinc/libminizincTargets.cmake


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Dec 21 00:12:52 2024