git: efd389d89627 - main - math/minizinc: update 2.8.7 → 2.10.1

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 17 Sep 2026 21:22:54 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=efd389d89627085c63a38f6d8bd3ac85843ab991

commit efd389d89627085c63a38f6d8bd3ac85843ab991
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-17 20:45:33 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-17 21:22:49 +0000

    math/minizinc: update 2.8.7 → 2.10.1
---
 math/minizinc/Makefile                             |  16 +-
 math/minizinc/distinfo                             |   6 +-
 .../files/patch-include_minizinc_process.hh        |  13 ++
 math/minizinc/files/patch-lib_file__utils.cpp      |   8 +-
 math/minizinc/files/patch-lib_solver__config.cpp   |   8 +-
 math/minizinc/pkg-plist                            | 164 ++++++++++++++++++---
 6 files changed, 174 insertions(+), 41 deletions(-)

diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index 64e99ff3ed2c..fa04067db614 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.8.7
-PORTREVISION=	1
+DISTVERSION=	2.10.1
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -11,12 +10,12 @@ WWW=		https://www.minizinc.org/ \
 LICENSE=	MPL20
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
-CONFLICTS_BUILD=	CoinMP
-
 LIB_DEPENDS=	libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
+		libchuffed_fzn.so:math/chuffed \
 		libCoinUtils.so:math/coinutils \
 		libgecodekernel.so:math/gecode \
+		libmpfr.so:math/mpfr \
 		libOsi.so:math/osi \
 		libOsiClp.so:math/clp
 
@@ -33,13 +32,6 @@ CXXFLAGS+=	-DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\""
 CXXFLAGS+=	-I${LOCALBASE}/include/highs # workaround for https://github.com/MiniZinc/libminizinc/issues/744
 LDFLAGS+=	-L${LOCALBASE}/lib # workaround for https://github.com/MiniZinc/libminizinc/issues/744
 
-OPTIONS_DEFINE=		WITH_SCIP
-
-WITH_SCIP_DESC=		Build with the SCIP optimizer
-WITH_SCIP_CMAKE_BOOL=	USE_SCIP
-WITH_SCIP_LIB_DEPENDS=	libscip.so:math/SCIP/
-
-post-patch:
-	${REINPLACE_CMD} -e 's|string std_lib_dir;|string std_lib_dir = "${DATADIR}";|' ${WRKSRC}/mzn2doc.cpp
+CONFLICTS_BUILD=	CoinMP
 
 .include <bsd.port.mk>
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 3768ac1b3d75..9450476b8f0a 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1727937266
-SHA256 (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 91413c9788d45eb77ecb1da9657c00744312cca4fd5e71ca2583c35a32a3be62
-SIZE (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 8059507
+TIMESTAMP = 1789676843
+SHA256 (MiniZinc-libminizinc-2.10.1_GH0.tar.gz) = 089ea94698cea94ed8396be77559b82d828437a808f5e37d10bccc9f1d39dd33
+SIZE (MiniZinc-libminizinc-2.10.1_GH0.tar.gz) = 8571096
diff --git a/math/minizinc/files/patch-include_minizinc_process.hh b/math/minizinc/files/patch-include_minizinc_process.hh
new file mode 100644
index 000000000000..310d8ff5faee
--- /dev/null
+++ b/math/minizinc/files/patch-include_minizinc_process.hh
@@ -0,0 +1,13 @@
+-- add environ declaration
+
+--- include/minizinc/process.hh.orig	2026-09-17 20:29:15 UTC
++++ include/minizinc/process.hh
+@@ -39,6 +39,8 @@
+ #include <thread>
+ #include <vector>
+ 
++extern char **environ;
++
+ namespace MiniZinc {
+ 
+ #if !defined(_WIN32) && !defined(__EMSCRIPTEN__)
diff --git a/math/minizinc/files/patch-lib_file__utils.cpp b/math/minizinc/files/patch-lib_file__utils.cpp
index 37c27df19efc..2a3e948af716 100644
--- a/math/minizinc/files/patch-lib_file__utils.cpp
+++ b/math/minizinc/files/patch-lib_file__utils.cpp
@@ -1,6 +1,8 @@
---- lib/file_utils.cpp.orig	2020-11-09 03:26:53 UTC
+-- override lib path with FREEBSD_MZN_STDLIB_DIR
+
+--- lib/file_utils.cpp.orig	2026-08-30 23:54:04 UTC
 +++ lib/file_utils.cpp
-@@ -315,6 +315,9 @@ std::string share_directory() {
+@@ -403,6 +403,9 @@ std::string share_directory() {
    if (FileUtils::file_exists(static_stdlib_dir + "/std/stdlib.mzn")) {
      return static_stdlib_dir;
    }
@@ -10,7 +12,7 @@
    std::string mypath = FileUtils::progpath();
    int depth = 0;
    for (char i : mypath) {
-@@ -329,6 +332,7 @@ std::string share_directory() {
+@@ -417,6 +420,7 @@ std::string share_directory() {
      mypath += "/..";
    }
    return "";
diff --git a/math/minizinc/files/patch-lib_solver__config.cpp b/math/minizinc/files/patch-lib_solver__config.cpp
index b2a47b1fc17b..cf7600d05352 100644
--- a/math/minizinc/files/patch-lib_solver__config.cpp
+++ b/math/minizinc/files/patch-lib_solver__config.cpp
@@ -1,8 +1,8 @@
 - Remove a non-existent directory from search.
 
---- lib/solver_config.cpp.orig	2022-02-17 23:53:35 UTC
+--- lib/solver_config.cpp.orig	2026-08-30 23:54:04 UTC
 +++ lib/solver_config.cpp
-@@ -637,6 +637,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
+@@ -679,6 +679,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
        FileUtils::directory_exists("/usr/local/share")) {
      _solverPath.emplace_back("/usr/local/share/minizinc/solvers");
    }
@@ -10,11 +10,11 @@
    if (_mznlibDir != "/usr/share/minizinc" && FileUtils::directory_exists("/usr/share")) {
      _solverPath.emplace_back("/usr/share/minizinc/solvers");
    }
-@@ -648,6 +649,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
+@@ -690,6 +691,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
        FileUtils::directory_exists("/opt/homebrew/share")) {
      _solverPath.emplace_back("/opt/homebrew/share/minizinc/solvers");
    }
 +#endif
  #endif
- }
  
+   // Add share/minizinc/solvers next to current exe to solver search paths as for some builtin
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index d77b818d55e2..9496ce27d157 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -1,16 +1,12 @@
 bin/minizinc
 bin/mzn2doc
 include/minizinc/MIPdomains.hh
-include/minizinc/_thirdparty/b64/ccommon.h
-include/minizinc/_thirdparty/b64/cdecode.h
-include/minizinc/_thirdparty/b64/cencode.h
-include/minizinc/_thirdparty/b64/decode.h
-include/minizinc/_thirdparty/b64/encode.h
 include/minizinc/_thirdparty/cplex_interface.h
 include/minizinc/_thirdparty/gurobi_interface.h
 include/minizinc/_thirdparty/highs_interface.h
 include/minizinc/_thirdparty/miniz.h
 include/minizinc/_thirdparty/scip_interface.h
+include/minizinc/_thirdparty/tree_sitter/api.h
 include/minizinc/_thirdparty/xpress_interface.h
 include/minizinc/algorithms/min_cut.h
 include/minizinc/ast.hh
@@ -20,6 +16,7 @@ include/minizinc/astiterator.hh
 include/minizinc/astmap.hh
 include/minizinc/aststring.hh
 include/minizinc/astvec.hh
+include/minizinc/blackbox.hh
 include/minizinc/builtins.hh
 include/minizinc/chain_compressor.hh
 include/minizinc/config.hh
@@ -50,46 +47,34 @@ include/minizinc/pathfileprinter.hh
 include/minizinc/plugin.hh
 include/minizinc/prettyprinter.hh
 include/minizinc/process.hh
+include/minizinc/process.hh.orig
 include/minizinc/solns2out.hh
 include/minizinc/solver.hh
 include/minizinc/solver_config.hh
 include/minizinc/solver_instance.hh
 include/minizinc/solver_instance_base.hh
 include/minizinc/solver_instance_defs.hh
-include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_cplex_wrap.hh
-include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh
-include/minizinc/solvers/MIP/MIP_highs_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_highs_wrap.hh
-include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh
-include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_scip_wrap.hh
 include/minizinc/solvers/MIP/MIP_solverinstance.hh
 include/minizinc/solvers/MIP/MIP_solverinstance.hpp
 include/minizinc/solvers/MIP/MIP_wrap.hh
-include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_xpress_wrap.hh
-include/minizinc/solvers/atlantis_solverfactory.hh
 include/minizinc/solvers/atlantis_solverinstance.hh
-include/minizinc/solvers/chuffed_solverfactory.hh
 include/minizinc/solvers/chuffed_solverinstance.hh
-include/minizinc/solvers/fzn_solverfactory.hh
 include/minizinc/solvers/fzn_solverinstance.hh
 include/minizinc/solvers/geas/geas_constraints.hh
-include/minizinc/solvers/geas_solverfactory.hh
 include/minizinc/solvers/geas_solverinstance.hh
 include/minizinc/solvers/gecode/fzn_space.hh
 include/minizinc/solvers/gecode/gecode_constraints.hh
-include/minizinc/solvers/gecode_solverfactory.hh
 include/minizinc/solvers/gecode_solverinstance.hh
-include/minizinc/solvers/mzn_solverfactory.hh
 include/minizinc/solvers/mzn_solverinstance.hh
 include/minizinc/solvers/nl/nl_components.hh
 include/minizinc/solvers/nl/nl_file.hh
 include/minizinc/solvers/nl/nl_solreader.hh
-include/minizinc/solvers/nl/nl_solverfactory.hh
 include/minizinc/solvers/nl/nl_solverinstance.hh
 include/minizinc/stackdump.hh
 include/minizinc/statistics.hh
@@ -99,7 +84,6 @@ include/minizinc/timer.hh
 include/minizinc/type.hh
 include/minizinc/typecheck.hh
 include/minizinc/utils.hh
-include/minizinc/utils_savestream.hh
 include/minizinc/values.hh
 include/minizinc/warning.hh
 lib/cmake/libminizinc/FindGecode.cmake
@@ -111,6 +95,57 @@ lib/cmake/libminizinc/libminizincTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/libminizinc/libminizincTargets.cmake
 lib/libmzn.so
 %%DATADIR%%/Preferences.json
+%%DATADIR%%/chuffed_internal/chuffed.mzn
+%%DATADIR%%/chuffed_internal/edit_distance.mzn
+%%DATADIR%%/chuffed_internal/experimental/assume/fzn_assume.mzn
+%%DATADIR%%/chuffed_internal/experimental/blackbox/fzn_blackbox.mzn
+%%DATADIR%%/chuffed_internal/experimental/blackbox/fzn_blackbox_bounds.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_complete.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_last_val_int.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_sol_bool.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_sol_int.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_status.mzn
+%%DATADIR%%/chuffed_internal/experimental/on_restart/fzn_on_restart_uniform_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_all_different_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_arg_max_bool.mzn
+%%DATADIR%%/chuffed_internal/fzn_bounded_dpath_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_circuit.mzn
+%%DATADIR%%/chuffed_internal/fzn_connected.mzn
+%%DATADIR%%/chuffed_internal/fzn_cost_regular.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_eq.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_eq_par.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_geq.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_geq_par.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_gt.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_gt_par.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_leq.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_leq_par.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_lt.mzn
+%%DATADIR%%/chuffed_internal/fzn_count_lt_par.mzn
+%%DATADIR%%/chuffed_internal/fzn_cumulative.mzn
+%%DATADIR%%/chuffed_internal/fzn_dag.mzn
+%%DATADIR%%/chuffed_internal/fzn_disjunctive.mzn
+%%DATADIR%%/chuffed_internal/fzn_disjunctive_strict.mzn
+%%DATADIR%%/chuffed_internal/fzn_distribute.mzn
+%%DATADIR%%/chuffed_internal/fzn_dpath_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_dtree_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_global_cardinality_low_up.mzn
+%%DATADIR%%/chuffed_internal/fzn_inverse.mzn
+%%DATADIR%%/chuffed_internal/fzn_nvalue.mzn
+%%DATADIR%%/chuffed_internal/fzn_regular.mzn
+%%DATADIR%%/chuffed_internal/fzn_seq_precede_chain_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_steiner.mzn
+%%DATADIR%%/chuffed_internal/fzn_subcircuit.mzn
+%%DATADIR%%/chuffed_internal/fzn_table_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_tree_int.mzn
+%%DATADIR%%/chuffed_internal/fzn_value_precede_int.mzn
+%%DATADIR%%/chuffed_internal/redefinitions-2.0.mzn
+%%DATADIR%%/chuffed_internal/redefinitions.mzn
+%%DATADIR%%/chuffed_internal/values_interchange.mzn
+%%DATADIR%%/chuffed_internal/values_sequences.mzn
+%%DATADIR%%/chuffed_internal/variables_interchange.mzn
+%%DATADIR%%/chuffed_internal/variables_sequences.mzn
 %%DATADIR%%/geas/fzn_all_different_int.mzn
 %%DATADIR%%/geas/fzn_alldifferent_except_0.mzn
 %%DATADIR%%/geas/fzn_cumulative.mzn
@@ -214,9 +249,12 @@ lib/libmzn.so
 %%DATADIR%%/linear/redefs_lin_imp.mzn
 %%DATADIR%%/linear/redefs_lin_reifs.mzn
 %%DATADIR%%/linear/subcircuit_wDummy.mzn
+%%DATADIR%%/solvers/chuffed_internal.msc
 %%DATADIR%%/std/all_different.mzn
 %%DATADIR%%/std/all_different_except.mzn
+%%DATADIR%%/std/all_different_except.mzn.deprecated.mzn
 %%DATADIR%%/std/all_different_except_0.mzn
+%%DATADIR%%/std/all_different_except_0.mzn.deprecated.mzn
 %%DATADIR%%/std/all_different_int.mzn
 %%DATADIR%%/std/all_different_int.mzn.deprecated.mzn
 %%DATADIR%%/std/all_different_set.mzn
@@ -287,6 +325,9 @@ lib/libmzn.so
 %%DATADIR%%/std/cumulative.mzn
 %%DATADIR%%/std/cumulative_opt.mzn
 %%DATADIR%%/std/cumulatives.mzn
+%%DATADIR%%/std/cumulatives.mzn.deprecated.mzn
+%%DATADIR%%/std/cumulatives_opt.mzn
+%%DATADIR%%/std/cumulatives_opt.mzn.deprecated.mzn
 %%DATADIR%%/std/dag.mzn
 %%DATADIR%%/std/decreasing.mzn
 %%DATADIR%%/std/decreasing_bool.mzn
@@ -308,6 +349,7 @@ lib/libmzn.so
 %%DATADIR%%/std/disjunctive_strict_opt.mzn
 %%DATADIR%%/std/distribute.mzn
 %%DATADIR%%/std/distribute_fn.mzn
+%%DATADIR%%/std/diversity.mzn
 %%DATADIR%%/std/element.mzn
 %%DATADIR%%/std/element_bool.mzn
 %%DATADIR%%/std/element_bool.mzn.deprecated.mzn
@@ -323,6 +365,11 @@ lib/libmzn.so
 %%DATADIR%%/std/exactly_set.mzn
 %%DATADIR%%/std/experimental.mzn
 %%DATADIR%%/std/experimental/all.mzn
+%%DATADIR%%/std/experimental/assume.mzn
+%%DATADIR%%/std/experimental/assume/fzn_assume.mzn
+%%DATADIR%%/std/experimental/blackbox.mzn
+%%DATADIR%%/std/experimental/blackbox/fzn_blackbox.mzn
+%%DATADIR%%/std/experimental/blackbox/fzn_blackbox_bounds.mzn
 %%DATADIR%%/std/experimental/on_restart.mzn
 %%DATADIR%%/std/experimental/on_restart/fzn_on_restart_complete.mzn
 %%DATADIR%%/std/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
@@ -394,9 +441,12 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_at_most_set_reif.mzn
 %%DATADIR%%/std/fzn_bin_packing.mzn
 %%DATADIR%%/std/fzn_bin_packing_capa.mzn
+%%DATADIR%%/std/fzn_bin_packing_capa_opt.mzn
 %%DATADIR%%/std/fzn_bin_packing_capa_reif.mzn
 %%DATADIR%%/std/fzn_bin_packing_load.mzn
+%%DATADIR%%/std/fzn_bin_packing_load_opt.mzn
 %%DATADIR%%/std/fzn_bin_packing_load_reif.mzn
+%%DATADIR%%/std/fzn_bin_packing_opt.mzn
 %%DATADIR%%/std/fzn_bin_packing_reif.mzn
 %%DATADIR%%/std/fzn_bounded_dpath_enum.mzn
 %%DATADIR%%/std/fzn_bounded_dpath_enum_reif.mzn
@@ -417,29 +467,101 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_cost_regular.mzn
 %%DATADIR%%/std/fzn_cost_regular_reif.mzn
 %%DATADIR%%/std/fzn_count_eq.mzn
+%%DATADIR%%/std/fzn_count_eq_bool.mzn
+%%DATADIR%%/std/fzn_count_eq_bool_par.mzn
+%%DATADIR%%/std/fzn_count_eq_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_eq_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_eq_float.mzn
+%%DATADIR%%/std/fzn_count_eq_float_par.mzn
+%%DATADIR%%/std/fzn_count_eq_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_eq_float_reif.mzn
 %%DATADIR%%/std/fzn_count_eq_par.mzn
 %%DATADIR%%/std/fzn_count_eq_par_reif.mzn
 %%DATADIR%%/std/fzn_count_eq_reif.mzn
+%%DATADIR%%/std/fzn_count_eq_set.mzn
+%%DATADIR%%/std/fzn_count_eq_set_par.mzn
+%%DATADIR%%/std/fzn_count_eq_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_eq_set_reif.mzn
 %%DATADIR%%/std/fzn_count_geq.mzn
+%%DATADIR%%/std/fzn_count_geq_bool.mzn
+%%DATADIR%%/std/fzn_count_geq_bool_par.mzn
+%%DATADIR%%/std/fzn_count_geq_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_geq_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_geq_float.mzn
+%%DATADIR%%/std/fzn_count_geq_float_par.mzn
+%%DATADIR%%/std/fzn_count_geq_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_geq_float_reif.mzn
 %%DATADIR%%/std/fzn_count_geq_par.mzn
 %%DATADIR%%/std/fzn_count_geq_par_reif.mzn
 %%DATADIR%%/std/fzn_count_geq_reif.mzn
+%%DATADIR%%/std/fzn_count_geq_set.mzn
+%%DATADIR%%/std/fzn_count_geq_set_par.mzn
+%%DATADIR%%/std/fzn_count_geq_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_geq_set_reif.mzn
 %%DATADIR%%/std/fzn_count_gt.mzn
+%%DATADIR%%/std/fzn_count_gt_bool.mzn
+%%DATADIR%%/std/fzn_count_gt_bool_par.mzn
+%%DATADIR%%/std/fzn_count_gt_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_gt_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_gt_float.mzn
+%%DATADIR%%/std/fzn_count_gt_float_par.mzn
+%%DATADIR%%/std/fzn_count_gt_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_gt_float_reif.mzn
 %%DATADIR%%/std/fzn_count_gt_par.mzn
 %%DATADIR%%/std/fzn_count_gt_par_reif.mzn
 %%DATADIR%%/std/fzn_count_gt_reif.mzn
+%%DATADIR%%/std/fzn_count_gt_set.mzn
+%%DATADIR%%/std/fzn_count_gt_set_par.mzn
+%%DATADIR%%/std/fzn_count_gt_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_gt_set_reif.mzn
 %%DATADIR%%/std/fzn_count_leq.mzn
+%%DATADIR%%/std/fzn_count_leq_bool.mzn
+%%DATADIR%%/std/fzn_count_leq_bool_par.mzn
+%%DATADIR%%/std/fzn_count_leq_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_leq_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_leq_float.mzn
+%%DATADIR%%/std/fzn_count_leq_float_par.mzn
+%%DATADIR%%/std/fzn_count_leq_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_leq_float_reif.mzn
 %%DATADIR%%/std/fzn_count_leq_par.mzn
 %%DATADIR%%/std/fzn_count_leq_par_reif.mzn
 %%DATADIR%%/std/fzn_count_leq_reif.mzn
+%%DATADIR%%/std/fzn_count_leq_set.mzn
+%%DATADIR%%/std/fzn_count_leq_set_par.mzn
+%%DATADIR%%/std/fzn_count_leq_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_leq_set_reif.mzn
 %%DATADIR%%/std/fzn_count_lt.mzn
+%%DATADIR%%/std/fzn_count_lt_bool.mzn
+%%DATADIR%%/std/fzn_count_lt_bool_par.mzn
+%%DATADIR%%/std/fzn_count_lt_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_lt_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_lt_float.mzn
+%%DATADIR%%/std/fzn_count_lt_float_par.mzn
+%%DATADIR%%/std/fzn_count_lt_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_lt_float_reif.mzn
 %%DATADIR%%/std/fzn_count_lt_par.mzn
 %%DATADIR%%/std/fzn_count_lt_par_reif.mzn
 %%DATADIR%%/std/fzn_count_lt_reif.mzn
+%%DATADIR%%/std/fzn_count_lt_set.mzn
+%%DATADIR%%/std/fzn_count_lt_set_par.mzn
+%%DATADIR%%/std/fzn_count_lt_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_lt_set_reif.mzn
 %%DATADIR%%/std/fzn_count_neq.mzn
+%%DATADIR%%/std/fzn_count_neq_bool.mzn
+%%DATADIR%%/std/fzn_count_neq_bool_par.mzn
+%%DATADIR%%/std/fzn_count_neq_bool_par_reif.mzn
+%%DATADIR%%/std/fzn_count_neq_bool_reif.mzn
+%%DATADIR%%/std/fzn_count_neq_float.mzn
+%%DATADIR%%/std/fzn_count_neq_float_par.mzn
+%%DATADIR%%/std/fzn_count_neq_float_par_reif.mzn
+%%DATADIR%%/std/fzn_count_neq_float_reif.mzn
 %%DATADIR%%/std/fzn_count_neq_par.mzn
 %%DATADIR%%/std/fzn_count_neq_par_reif.mzn
 %%DATADIR%%/std/fzn_count_neq_reif.mzn
+%%DATADIR%%/std/fzn_count_neq_set.mzn
+%%DATADIR%%/std/fzn_count_neq_set_par.mzn
+%%DATADIR%%/std/fzn_count_neq_set_par_reif.mzn
+%%DATADIR%%/std/fzn_count_neq_set_reif.mzn
 %%DATADIR%%/std/fzn_cumulative.mzn
 %%DATADIR%%/std/fzn_cumulative_opt.mzn
 %%DATADIR%%/std/fzn_cumulative_opt_decomp.mzn
@@ -447,6 +569,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_cumulative_reif.mzn
 %%DATADIR%%/std/fzn_cumulatives.mzn
 %%DATADIR%%/std/fzn_cumulatives_decomp.mzn
+%%DATADIR%%/std/fzn_cumulatives_opt.mzn
 %%DATADIR%%/std/fzn_dag.mzn
 %%DATADIR%%/std/fzn_dag_reif.mzn
 %%DATADIR%%/std/fzn_dconnected.mzn
@@ -639,6 +762,8 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_seq_precede_chain_set_reif.mzn
 %%DATADIR%%/std/fzn_set_member.mzn
 %%DATADIR%%/std/fzn_set_member_reif.mzn
+%%DATADIR%%/std/fzn_sliding_among_bool.mzn
+%%DATADIR%%/std/fzn_sliding_among_int.mzn
 %%DATADIR%%/std/fzn_sliding_sum.mzn
 %%DATADIR%%/std/fzn_sliding_sum_reif.mzn
 %%DATADIR%%/std/fzn_sort.mzn
@@ -813,6 +938,7 @@ lib/libmzn.so
 %%DATADIR%%/std/roots_fn.mzn
 %%DATADIR%%/std/seq_precede_chain.mzn
 %%DATADIR%%/std/set_member.mzn
+%%DATADIR%%/std/sliding_among.mzn
 %%DATADIR%%/std/sliding_sum.mzn
 %%DATADIR%%/std/solver_redefinitions.mzn
 %%DATADIR%%/std/sort.mzn