Date: Mon, 10 Aug 2020 05:27:33 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r544589 - in head/math: . minizinc Message-ID: <202008100527.07A5RX5d004722@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Mon Aug 10 05:27:33 2020 New Revision: 544589 URL: https://svnweb.freebsd.org/changeset/ports/544589 Log: New port: math/minizinc: Constraint modeling language Added: head/math/minizinc/ head/math/minizinc/Makefile (contents, props changed) head/math/minizinc/distinfo (contents, props changed) head/math/minizinc/pkg-descr (contents, props changed) head/math/minizinc/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Mon Aug 10 05:16:38 2020 (r544588) +++ head/math/Makefile Mon Aug 10 05:27:33 2020 (r544589) @@ -400,6 +400,7 @@ SUBDIR += mfem SUBDIR += mingw32-libgmp SUBDIR += minisat + SUBDIR += minizinc SUBDIR += miracl SUBDIR += mlpack SUBDIR += moab Added: head/math/minizinc/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/minizinc/Makefile Mon Aug 10 05:27:33 2020 (r544589) @@ -0,0 +1,34 @@ +# $FreeBSD$ + +PORTNAME= minizinc +DISTVERSION= 2.4.3.20200807 # from the develop branch because it contains fixes for the latest bison +CATEGORIES= math lang + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Constraint modeling language + +LICENSE= MPL20 +LICENSE_FILE= ${WRKSRC}/LICENSE.txt + +LIB_DEPENDS= libCbc.so:math/cbc \ + libCgl.so:math/cgl \ + libgecodekernel.so:devel/gecode \ + libOsiClp.so:math/clp + +USES= bison cmake compiler:c++11-lang +USE_GITHUB= yes +GH_ACCOIUNT= MiniZinc +GH_PROJECT= libminizinc +GH_TAGNAME= 01854690be366b964df9e25eaf5bd244759c4e76 # develop branch +USE_LDCONFIG= yes + +CMAKE_ON= BUILD_SHARED_LIBS + +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/ +WITH_SCIP_BROKEN= Build failure: https://github.com/MiniZinc/libminizinc/issues/402 + +.include <bsd.port.mk> Added: head/math/minizinc/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/minizinc/distinfo Mon Aug 10 05:27:33 2020 (r544589) @@ -0,0 +1,3 @@ +TIMESTAMP = 1597032841 +SHA256 (minizinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 7d7d7ebaef2dfb80aca467e6a5731d43b416921f40624137cbad37116a3a724e +SIZE (minizinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 1547462 Added: head/math/minizinc/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/minizinc/pkg-descr Mon Aug 10 05:27:33 2020 (r544589) @@ -0,0 +1,11 @@ +MiniZinc is a free and open-source constraint modeling language. + +You can use MiniZinc to model constraint satisfaction and optimization problems +in a high-level, solver-independent way, taking advantage of a large library of +pre-defined constraints. Your model is then compiled into FlatZinc, a solver +input language that is understood by a wide range of solvers. + +MiniZinc is developed at Monash University in collaboration with Data61 Decision +Sciences and the University of Melbourne. + +WWW: https://www.minizinc.org/ Added: head/math/minizinc/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/minizinc/pkg-plist Mon Aug 10 05:27:33 2020 (r544589) @@ -0,0 +1,707 @@ +bin/minizinc +bin/mzn2doc +include/minizinc/MIPdomains.hh +include/minizinc/algorithms/min_cut.h +include/minizinc/ast.hh +include/minizinc/ast.hpp +include/minizinc/astexception.hh +include/minizinc/astiterator.hh +include/minizinc/astmap.hh +include/minizinc/aststring.hh +include/minizinc/astvec.hh +include/minizinc/builtins.hh +include/minizinc/chain_compressor.hh +include/minizinc/config.hh +include/minizinc/copy.hh +include/minizinc/eval_par.hh +include/minizinc/exception.hh +include/minizinc/file_utils.hh +include/minizinc/flat_exp.hh +include/minizinc/flatten.hh +include/minizinc/flatten_internal.hh +include/minizinc/flattener.hh +include/minizinc/gc.hh +include/minizinc/hash.hh +include/minizinc/htmlprinter.hh +include/minizinc/interrupt.hh +include/minizinc/iter.hh +include/minizinc/json_parser.hh +include/minizinc/model.hh +include/minizinc/optimize.hh +include/minizinc/optimize_constraints.hh +include/minizinc/output.hh +include/minizinc/parser.hh +include/minizinc/parser.tab.hh +include/minizinc/passes/compile_pass.hh +include/minizinc/passes/gecode_pass.hh +include/minizinc/pathfileprinter.hh +include/minizinc/plugin.hh +include/minizinc/prettyprinter.hh +include/minizinc/process.hh +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_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/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/statistics.hh +include/minizinc/support/regex.hh +include/minizinc/support/regex_parser.tab.hh +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/miniz.h +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 +lib/cmake/libminizinc/FindGecode.cmake +lib/cmake/libminizinc/FindMPFR.cmake +lib/cmake/libminizinc/FindOsiCBC.cmake +lib/cmake/libminizinc/libminizincConfig.cmake +lib/cmake/libminizinc/libminizincConfigVersion.cmake +lib/cmake/libminizinc/libminizincTargets-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/libminizinc/libminizincTargets.cmake +lib/libmzn.so +%%DATADIR%%/Preferences.json +%%DATADIR%%/g12_fd/all_different_int.mzn +%%DATADIR%%/g12_fd/cumulative.mzn +%%DATADIR%%/g12_fd/global_cardinality_low_up.mzn +%%DATADIR%%/g12_lazyfd/all_different_int.mzn +%%DATADIR%%/g12_lazyfd/redefinitions.mzn +%%DATADIR%%/geas/fzn_all_different_int.mzn +%%DATADIR%%/geas/fzn_alldifferent_except_0.mzn +%%DATADIR%%/geas/fzn_cumulative.mzn +%%DATADIR%%/geas/fzn_disjunctive.mzn +%%DATADIR%%/geas/fzn_global_cardinality.mzn +%%DATADIR%%/geas/fzn_inverse.mzn +%%DATADIR%%/geas/fzn_table_int.mzn +%%DATADIR%%/geas/fzn_value_precede_int.mzn +%%DATADIR%%/geas/redefinitions-2.0.mzn +%%DATADIR%%/geas/redefinitions.mzn +%%DATADIR%%/gecode_presolver/fzn_all_different_int.mzn +%%DATADIR%%/gecode_presolver/fzn_all_equal_int.mzn +%%DATADIR%%/gecode_presolver/fzn_among.mzn +%%DATADIR%%/gecode_presolver/fzn_arg_max_int.mzn +%%DATADIR%%/gecode_presolver/fzn_arg_min_int.mzn +%%DATADIR%%/gecode_presolver/fzn_at_least_int.mzn +%%DATADIR%%/gecode_presolver/fzn_at_least_set.mzn +%%DATADIR%%/gecode_presolver/fzn_at_most_int.mzn +%%DATADIR%%/gecode_presolver/fzn_at_most_set.mzn +%%DATADIR%%/gecode_presolver/fzn_bin_packing.mzn +%%DATADIR%%/gecode_presolver/fzn_bin_packing_capa.mzn +%%DATADIR%%/gecode_presolver/fzn_bin_packing_load.mzn +%%DATADIR%%/gecode_presolver/fzn_circuit.mzn +%%DATADIR%%/gecode_presolver/fzn_count_eq.mzn +%%DATADIR%%/gecode_presolver/fzn_count_eq_reif.mzn +%%DATADIR%%/gecode_presolver/fzn_cumulative.mzn +%%DATADIR%%/gecode_presolver/fzn_decreasing_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_decreasing_int.mzn +%%DATADIR%%/gecode_presolver/fzn_diffn.mzn +%%DATADIR%%/gecode_presolver/fzn_disjoint.mzn +%%DATADIR%%/gecode_presolver/fzn_distribute.mzn +%%DATADIR%%/gecode_presolver/fzn_exactly_int.mzn +%%DATADIR%%/gecode_presolver/fzn_exactly_set.mzn +%%DATADIR%%/gecode_presolver/fzn_global_cardinality.mzn +%%DATADIR%%/gecode_presolver/fzn_global_cardinality_closed.mzn +%%DATADIR%%/gecode_presolver/fzn_global_cardinality_low_up.mzn +%%DATADIR%%/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn +%%DATADIR%%/gecode_presolver/fzn_increasing_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_increasing_int.mzn +%%DATADIR%%/gecode_presolver/fzn_int_set_channel.mzn +%%DATADIR%%/gecode_presolver/fzn_inverse.mzn +%%DATADIR%%/gecode_presolver/fzn_inverse_set.mzn +%%DATADIR%%/gecode_presolver/fzn_lex_less_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_lex_less_int.mzn +%%DATADIR%%/gecode_presolver/fzn_lex_lesseq_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_lex_lesseq_int.mzn +%%DATADIR%%/gecode_presolver/fzn_link_set_to_booleans.mzn +%%DATADIR%%/gecode_presolver/fzn_member_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_member_bool_reif.mzn +%%DATADIR%%/gecode_presolver/fzn_member_int.mzn +%%DATADIR%%/gecode_presolver/fzn_member_int_reif.mzn +%%DATADIR%%/gecode_presolver/fzn_nvalue.mzn +%%DATADIR%%/gecode_presolver/fzn_partition_set.mzn +%%DATADIR%%/gecode_presolver/fzn_range.mzn +%%DATADIR%%/gecode_presolver/fzn_regular.mzn +%%DATADIR%%/gecode_presolver/fzn_roots.mzn +%%DATADIR%%/gecode_presolver/fzn_sort.mzn +%%DATADIR%%/gecode_presolver/fzn_sum_pred.mzn +%%DATADIR%%/gecode_presolver/fzn_table_bool.mzn +%%DATADIR%%/gecode_presolver/fzn_table_int.mzn +%%DATADIR%%/gecode_presolver/fzn_value_precede_int.mzn +%%DATADIR%%/gecode_presolver/fzn_value_precede_set.mzn +%%DATADIR%%/gecode_presolver/gecode.mzn +%%DATADIR%%/gecode_presolver/precedence.mzn +%%DATADIR%%/gecode_presolver/redefinitions-2.0.mzn +%%DATADIR%%/gecode_presolver/redefinitions.mzn +%%DATADIR%%/linear/CHANGELOG.txt +%%DATADIR%%/linear/domain_encodings.mzn +%%DATADIR%%/linear/fzn_all_different_int.mzn +%%DATADIR%%/linear/fzn_alldifferent_except_0.mzn +%%DATADIR%%/linear/fzn_circuit.mzn +%%DATADIR%%/linear/fzn_cumulative.mzn +%%DATADIR%%/linear/fzn_if_then_else_float.mzn +%%DATADIR%%/linear/fzn_if_then_else_int.mzn +%%DATADIR%%/linear/fzn_inverse.mzn +%%DATADIR%%/linear/fzn_inverse_in_range.mzn +%%DATADIR%%/linear/fzn_inverse_in_range_reif.mzn +%%DATADIR%%/linear/fzn_inverse_reif.mzn +%%DATADIR%%/linear/fzn_lex_less_bool_reif.mzn +%%DATADIR%%/linear/fzn_lex_lesseq_bool.mzn +%%DATADIR%%/linear/fzn_lex_lesseq_bool_reif.mzn +%%DATADIR%%/linear/fzn_regular.mzn +%%DATADIR%%/linear/fzn_sliding_sum.mzn +%%DATADIR%%/linear/fzn_subcircuit.mzn +%%DATADIR%%/linear/fzn_table_int.mzn +%%DATADIR%%/linear/options.mzn +%%DATADIR%%/linear/redefinitions-2.0.2.mzn +%%DATADIR%%/linear/redefinitions-2.0.mzn +%%DATADIR%%/linear/redefinitions-2.2.1.mzn +%%DATADIR%%/linear/redefinitions.mzn +%%DATADIR%%/linear/redefs_bool_imp.mzn +%%DATADIR%%/linear/redefs_bool_reifs.mzn +%%DATADIR%%/linear/redefs_lin_halfreifs.mzn +%%DATADIR%%/linear/redefs_lin_imp.mzn +%%DATADIR%%/linear/redefs_lin_reifs.mzn +%%DATADIR%%/linear/subcircuit_wDummy.mzn +%%DATADIR%%/linear_old/all_different_int.mzn +%%DATADIR%%/linear_old/domain_encodings.mzn +%%DATADIR%%/linear_old/inverse.mzn +%%DATADIR%%/linear_old/linear/all_different_int.mzn +%%DATADIR%%/linear_old/linear/domain_encodings.mzn +%%DATADIR%%/linear_old/linear/inverse.mzn +%%DATADIR%%/linear_old/linear/redefinitions-2.0.2.mzn +%%DATADIR%%/linear_old/linear/redefinitions-2.0.mzn +%%DATADIR%%/linear_old/linear/redefinitions.mzn +%%DATADIR%%/linear_old/linear/table_int.mzn +%%DATADIR%%/linear_old/redefinitions-2.0.2.mzn +%%DATADIR%%/linear_old/redefinitions-2.0.mzn +%%DATADIR%%/linear_old/redefinitions.mzn +%%DATADIR%%/linear_old/table_int.mzn +%%DATADIR%%/std/all_different.mzn +%%DATADIR%%/std/all_different_int.mzn +%%DATADIR%%/std/all_different_set.mzn +%%DATADIR%%/std/all_disjoint.mzn +%%DATADIR%%/std/all_equal.mzn +%%DATADIR%%/std/all_equal_int.mzn +%%DATADIR%%/std/all_equal_set.mzn +%%DATADIR%%/std/alldifferent.mzn +%%DATADIR%%/std/alldifferent_except_0.mzn +%%DATADIR%%/std/alternative.mzn +%%DATADIR%%/std/among.mzn +%%DATADIR%%/std/among_fn.mzn +%%DATADIR%%/std/analyse_all_different.mzn +%%DATADIR%%/std/arg_max.mzn +%%DATADIR%%/std/arg_max_bool.mzn +%%DATADIR%%/std/arg_max_float.mzn +%%DATADIR%%/std/arg_max_int.mzn +%%DATADIR%%/std/arg_min.mzn +%%DATADIR%%/std/arg_min_bool.mzn +%%DATADIR%%/std/arg_min_float.mzn +%%DATADIR%%/std/arg_min_int.mzn +%%DATADIR%%/std/arg_sort.mzn +%%DATADIR%%/std/arg_sort_float.mzn +%%DATADIR%%/std/arg_sort_int.mzn +%%DATADIR%%/std/at_least.mzn +%%DATADIR%%/std/at_least.mzn.deprecated.mzn +%%DATADIR%%/std/at_least_int.mzn +%%DATADIR%%/std/at_least_set.mzn +%%DATADIR%%/std/at_most.mzn +%%DATADIR%%/std/at_most.mzn.deprecated.mzn +%%DATADIR%%/std/at_most1.mzn +%%DATADIR%%/std/at_most_int.mzn +%%DATADIR%%/std/at_most_set.mzn +%%DATADIR%%/std/atleast.mzn +%%DATADIR%%/std/atmost.mzn +%%DATADIR%%/std/atmost1.mzn +%%DATADIR%%/std/bin_packing.mzn +%%DATADIR%%/std/bin_packing_capa.mzn +%%DATADIR%%/std/bin_packing_load.mzn +%%DATADIR%%/std/bin_packing_load_fn.mzn +%%DATADIR%%/std/bounded_path.mzn +%%DATADIR%%/std/builtins.mzn +%%DATADIR%%/std/circuit.mzn +%%DATADIR%%/std/comparison_rel_array.mzn +%%DATADIR%%/std/connected.mzn +%%DATADIR%%/std/cost_mdd.mzn +%%DATADIR%%/std/cost_regular.mzn +%%DATADIR%%/std/count.mzn +%%DATADIR%%/std/count_eq.mzn +%%DATADIR%%/std/count_fn.mzn +%%DATADIR%%/std/count_geq.mzn +%%DATADIR%%/std/count_gt.mzn +%%DATADIR%%/std/count_leq.mzn +%%DATADIR%%/std/count_lt.mzn +%%DATADIR%%/std/count_neq.mzn +%%DATADIR%%/std/cumulative.mzn +%%DATADIR%%/std/cumulative_opt.mzn +%%DATADIR%%/std/dag.mzn +%%DATADIR%%/std/decreasing.mzn +%%DATADIR%%/std/decreasing_bool.mzn +%%DATADIR%%/std/decreasing_float.mzn +%%DATADIR%%/std/decreasing_int.mzn +%%DATADIR%%/std/decreasing_set.mzn +%%DATADIR%%/std/diffn.mzn +%%DATADIR%%/std/diffn_k.mzn +%%DATADIR%%/std/diffn_nonstrict.mzn +%%DATADIR%%/std/diffn_nonstrict_k.mzn +%%DATADIR%%/std/disjoint.mzn +%%DATADIR%%/std/disjunctive.mzn +%%DATADIR%%/std/disjunctive_opt.mzn +%%DATADIR%%/std/disjunctive_strict.mzn +%%DATADIR%%/std/disjunctive_strict_opt.mzn +%%DATADIR%%/std/distribute.mzn +%%DATADIR%%/std/distribute_fn.mzn +%%DATADIR%%/std/element.mzn +%%DATADIR%%/std/element_bool.mzn +%%DATADIR%%/std/element_float.mzn +%%DATADIR%%/std/element_int.mzn +%%DATADIR%%/std/element_set.mzn +%%DATADIR%%/std/exactly.mzn +%%DATADIR%%/std/exactly.mzn.deprecated.mzn +%%DATADIR%%/std/exactly_int.mzn +%%DATADIR%%/std/exactly_set.mzn +%%DATADIR%%/std/experimental.mzn +%%DATADIR%%/std/flatzinc_builtins.mzn +%%DATADIR%%/std/fzn_all_different_int.mzn +%%DATADIR%%/std/fzn_all_different_int_reif.mzn +%%DATADIR%%/std/fzn_all_different_set.mzn +%%DATADIR%%/std/fzn_all_different_set_reif.mzn +%%DATADIR%%/std/fzn_all_disjoint.mzn +%%DATADIR%%/std/fzn_all_disjoint_reif.mzn +%%DATADIR%%/std/fzn_all_equal_int.mzn +%%DATADIR%%/std/fzn_all_equal_int_reif.mzn +%%DATADIR%%/std/fzn_all_equal_set.mzn +%%DATADIR%%/std/fzn_all_equal_set_reif.mzn +%%DATADIR%%/std/fzn_alldifferent_except_0.mzn +%%DATADIR%%/std/fzn_alldifferent_except_0_reif.mzn +%%DATADIR%%/std/fzn_alternative.mzn +%%DATADIR%%/std/fzn_alternative_reif.mzn +%%DATADIR%%/std/fzn_among.mzn +%%DATADIR%%/std/fzn_among_reif.mzn +%%DATADIR%%/std/fzn_arg_max_bool.mzn +%%DATADIR%%/std/fzn_arg_max_float.mzn +%%DATADIR%%/std/fzn_arg_max_int.mzn +%%DATADIR%%/std/fzn_arg_min_bool.mzn +%%DATADIR%%/std/fzn_arg_min_float.mzn +%%DATADIR%%/std/fzn_arg_min_int.mzn +%%DATADIR%%/std/fzn_arg_sort_float.mzn +%%DATADIR%%/std/fzn_arg_sort_float_reif.mzn +%%DATADIR%%/std/fzn_arg_sort_int.mzn +%%DATADIR%%/std/fzn_arg_sort_int_reif.mzn +%%DATADIR%%/std/fzn_at_least_int.mzn +%%DATADIR%%/std/fzn_at_least_int_reif.mzn +%%DATADIR%%/std/fzn_at_least_set.mzn +%%DATADIR%%/std/fzn_at_least_set_reif.mzn +%%DATADIR%%/std/fzn_at_most1.mzn +%%DATADIR%%/std/fzn_at_most1_reif.mzn +%%DATADIR%%/std/fzn_at_most_int.mzn +%%DATADIR%%/std/fzn_at_most_int_reif.mzn +%%DATADIR%%/std/fzn_at_most_set.mzn +%%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_reif.mzn +%%DATADIR%%/std/fzn_bin_packing_load.mzn +%%DATADIR%%/std/fzn_bin_packing_load_reif.mzn +%%DATADIR%%/std/fzn_bin_packing_reif.mzn +%%DATADIR%%/std/fzn_bounded_dpath_enum.mzn +%%DATADIR%%/std/fzn_bounded_dpath_enum_reif.mzn +%%DATADIR%%/std/fzn_bounded_dpath_int.mzn +%%DATADIR%%/std/fzn_bounded_dpath_int_reif.mzn +%%DATADIR%%/std/fzn_bounded_path_enum.mzn +%%DATADIR%%/std/fzn_bounded_path_enum_reif.mzn +%%DATADIR%%/std/fzn_bounded_path_int.mzn +%%DATADIR%%/std/fzn_bounded_path_int_reif.mzn +%%DATADIR%%/std/fzn_circuit.mzn +%%DATADIR%%/std/fzn_circuit_reif.mzn +%%DATADIR%%/std/fzn_connected.mzn +%%DATADIR%%/std/fzn_connected_reif.mzn +%%DATADIR%%/std/fzn_cost_mdd.mzn +%%DATADIR%%/std/fzn_cost_mdd_reif.mzn +%%DATADIR%%/std/fzn_cost_regular.mzn +%%DATADIR%%/std/fzn_cost_regular_reif.mzn +%%DATADIR%%/std/fzn_count_eq.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_geq.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_gt.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_leq.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_lt.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_neq.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_cumulative.mzn +%%DATADIR%%/std/fzn_cumulative_opt.mzn +%%DATADIR%%/std/fzn_cumulative_opt_reif.mzn +%%DATADIR%%/std/fzn_cumulative_reif.mzn +%%DATADIR%%/std/fzn_dag.mzn +%%DATADIR%%/std/fzn_dag_reif.mzn +%%DATADIR%%/std/fzn_dconnected.mzn +%%DATADIR%%/std/fzn_dconnected_reif.mzn +%%DATADIR%%/std/fzn_decreasing_bool.mzn +%%DATADIR%%/std/fzn_decreasing_bool_reif.mzn +%%DATADIR%%/std/fzn_decreasing_float.mzn +%%DATADIR%%/std/fzn_decreasing_float_reif.mzn +%%DATADIR%%/std/fzn_decreasing_int.mzn +%%DATADIR%%/std/fzn_decreasing_int_reif.mzn +%%DATADIR%%/std/fzn_decreasing_set.mzn +%%DATADIR%%/std/fzn_decreasing_set_reif.mzn +%%DATADIR%%/std/fzn_diffn.mzn +%%DATADIR%%/std/fzn_diffn_k.mzn +%%DATADIR%%/std/fzn_diffn_k_reif.mzn +%%DATADIR%%/std/fzn_diffn_nonstrict.mzn +%%DATADIR%%/std/fzn_diffn_nonstrict_k.mzn +%%DATADIR%%/std/fzn_diffn_nonstrict_k_reif.mzn +%%DATADIR%%/std/fzn_diffn_nonstrict_reif.mzn +%%DATADIR%%/std/fzn_diffn_reif.mzn +%%DATADIR%%/std/fzn_disjoint.mzn +%%DATADIR%%/std/fzn_disjoint_reif.mzn +%%DATADIR%%/std/fzn_disjunctive.mzn +%%DATADIR%%/std/fzn_disjunctive_opt.mzn +%%DATADIR%%/std/fzn_disjunctive_opt_reif.mzn +%%DATADIR%%/std/fzn_disjunctive_reif.mzn +%%DATADIR%%/std/fzn_disjunctive_strict.mzn +%%DATADIR%%/std/fzn_disjunctive_strict_opt.mzn +%%DATADIR%%/std/fzn_disjunctive_strict_opt_reif.mzn +%%DATADIR%%/std/fzn_disjunctive_strict_reif.mzn +%%DATADIR%%/std/fzn_distribute.mzn +%%DATADIR%%/std/fzn_distribute_reif.mzn +%%DATADIR%%/std/fzn_dpath_enum.mzn +%%DATADIR%%/std/fzn_dpath_enum_reif.mzn +%%DATADIR%%/std/fzn_dpath_int.mzn +%%DATADIR%%/std/fzn_dpath_int_reif.mzn +%%DATADIR%%/std/fzn_dreachable_enum.mzn +%%DATADIR%%/std/fzn_dreachable_enum_reif.mzn +%%DATADIR%%/std/fzn_dreachable_int.mzn +%%DATADIR%%/std/fzn_dreachable_int_reif.mzn +%%DATADIR%%/std/fzn_dsteiner.mzn +%%DATADIR%%/std/fzn_dsteiner_reif.mzn +%%DATADIR%%/std/fzn_dtree_enum.mzn +%%DATADIR%%/std/fzn_dtree_enum_reif.mzn +%%DATADIR%%/std/fzn_dtree_int.mzn +%%DATADIR%%/std/fzn_dtree_int_reif.mzn +%%DATADIR%%/std/fzn_dwst.mzn +%%DATADIR%%/std/fzn_dwst_reif.mzn +%%DATADIR%%/std/fzn_exactly_int.mzn +%%DATADIR%%/std/fzn_exactly_int_reif.mzn +%%DATADIR%%/std/fzn_exactly_set.mzn +%%DATADIR%%/std/fzn_exactly_set_reif.mzn +%%DATADIR%%/std/fzn_geost.mzn +%%DATADIR%%/std/fzn_geost_bb.mzn +%%DATADIR%%/std/fzn_geost_bb_reif.mzn +%%DATADIR%%/std/fzn_geost_nonoverlap_k.mzn +%%DATADIR%%/std/fzn_geost_nonoverlap_k_reif.mzn +%%DATADIR%%/std/fzn_geost_reif.mzn +%%DATADIR%%/std/fzn_geost_smallest_bb.mzn +%%DATADIR%%/std/fzn_geost_smallest_bb_reif.mzn +%%DATADIR%%/std/fzn_global_cardinality.mzn +%%DATADIR%%/std/fzn_global_cardinality_closed.mzn +%%DATADIR%%/std/fzn_global_cardinality_closed_reif.mzn +%%DATADIR%%/std/fzn_global_cardinality_low_up.mzn +%%DATADIR%%/std/fzn_global_cardinality_low_up_closed.mzn +%%DATADIR%%/std/fzn_global_cardinality_low_up_closed_reif.mzn +%%DATADIR%%/std/fzn_global_cardinality_low_up_reif.mzn +%%DATADIR%%/std/fzn_global_cardinality_reif.mzn +%%DATADIR%%/std/fzn_if_then_else_bool.mzn +%%DATADIR%%/std/fzn_if_then_else_float.mzn +%%DATADIR%%/std/fzn_if_then_else_int.mzn +%%DATADIR%%/std/fzn_if_then_else_opt_bool.mzn +%%DATADIR%%/std/fzn_if_then_else_opt_float.mzn +%%DATADIR%%/std/fzn_if_then_else_opt_int.mzn +%%DATADIR%%/std/fzn_if_then_else_partiality.mzn +%%DATADIR%%/std/fzn_if_then_else_set.mzn +%%DATADIR%%/std/fzn_if_then_else_var_bool.mzn +%%DATADIR%%/std/fzn_if_then_else_var_float.mzn +%%DATADIR%%/std/fzn_if_then_else_var_int.mzn +%%DATADIR%%/std/fzn_if_then_else_var_opt_bool.mzn +%%DATADIR%%/std/fzn_if_then_else_var_opt_float.mzn +%%DATADIR%%/std/fzn_if_then_else_var_opt_int.mzn +%%DATADIR%%/std/fzn_if_then_else_var_set.mzn +%%DATADIR%%/std/fzn_increasing_bool.mzn +%%DATADIR%%/std/fzn_increasing_bool_reif.mzn +%%DATADIR%%/std/fzn_increasing_float.mzn +%%DATADIR%%/std/fzn_increasing_float_reif.mzn +%%DATADIR%%/std/fzn_increasing_int.mzn +%%DATADIR%%/std/fzn_increasing_int_reif.mzn +%%DATADIR%%/std/fzn_increasing_set.mzn +%%DATADIR%%/std/fzn_increasing_set_reif.mzn +%%DATADIR%%/std/fzn_int_set_channel.mzn +%%DATADIR%%/std/fzn_int_set_channel_reif.mzn +%%DATADIR%%/std/fzn_inverse.mzn +%%DATADIR%%/std/fzn_inverse_in_range.mzn +%%DATADIR%%/std/fzn_inverse_in_range_reif.mzn +%%DATADIR%%/std/fzn_inverse_reif.mzn +%%DATADIR%%/std/fzn_inverse_set.mzn +%%DATADIR%%/std/fzn_inverse_set_reif.mzn +%%DATADIR%%/std/fzn_knapsack.mzn +%%DATADIR%%/std/fzn_knapsack_reif.mzn +%%DATADIR%%/std/fzn_lex2.mzn +%%DATADIR%%/std/fzn_lex2_reif.mzn +%%DATADIR%%/std/fzn_lex_less_bool.mzn +%%DATADIR%%/std/fzn_lex_less_bool_reif.mzn +%%DATADIR%%/std/fzn_lex_less_float.mzn +%%DATADIR%%/std/fzn_lex_less_float_reif.mzn +%%DATADIR%%/std/fzn_lex_less_int.mzn +%%DATADIR%%/std/fzn_lex_less_int_reif.mzn +%%DATADIR%%/std/fzn_lex_less_set.mzn +%%DATADIR%%/std/fzn_lex_less_set_reif.mzn +%%DATADIR%%/std/fzn_lex_lesseq_bool.mzn +%%DATADIR%%/std/fzn_lex_lesseq_bool_reif.mzn +%%DATADIR%%/std/fzn_lex_lesseq_float.mzn +%%DATADIR%%/std/fzn_lex_lesseq_float_reif.mzn +%%DATADIR%%/std/fzn_lex_lesseq_int.mzn +%%DATADIR%%/std/fzn_lex_lesseq_int_reif.mzn +%%DATADIR%%/std/fzn_lex_lesseq_set.mzn +%%DATADIR%%/std/fzn_lex_lesseq_set_reif.mzn +%%DATADIR%%/std/fzn_link_set_to_booleans.mzn +%%DATADIR%%/std/fzn_link_set_to_booleans_reif.mzn +%%DATADIR%%/std/fzn_mdd.mzn +%%DATADIR%%/std/fzn_mdd_nondet.mzn +%%DATADIR%%/std/fzn_mdd_nondet_reif.mzn +%%DATADIR%%/std/fzn_mdd_reif.mzn +%%DATADIR%%/std/fzn_member_bool.mzn +%%DATADIR%%/std/fzn_member_bool_reif.mzn +%%DATADIR%%/std/fzn_member_float.mzn +%%DATADIR%%/std/fzn_member_float_reif.mzn +%%DATADIR%%/std/fzn_member_int.mzn +%%DATADIR%%/std/fzn_member_int_reif.mzn +%%DATADIR%%/std/fzn_member_set.mzn +%%DATADIR%%/std/fzn_member_set_reif.mzn +%%DATADIR%%/std/fzn_network_flow.mzn +%%DATADIR%%/std/fzn_network_flow_cost.mzn +%%DATADIR%%/std/fzn_network_flow_cost_reif.mzn +%%DATADIR%%/std/fzn_network_flow_reif.mzn +%%DATADIR%%/std/fzn_neural_net.mzn +%%DATADIR%%/std/fzn_neural_net_reif.mzn +%%DATADIR%%/std/fzn_nvalue.mzn +%%DATADIR%%/std/fzn_nvalue_reif.mzn +%%DATADIR%%/std/fzn_partition_set.mzn +%%DATADIR%%/std/fzn_partition_set_reif.mzn +%%DATADIR%%/std/fzn_path_enum.mzn +%%DATADIR%%/std/fzn_path_enum_reif.mzn +%%DATADIR%%/std/fzn_path_int.mzn +%%DATADIR%%/std/fzn_path_int_reif.mzn +%%DATADIR%%/std/fzn_piecewise_linear.mzn +%%DATADIR%%/std/fzn_piecewise_linear_reif.mzn +%%DATADIR%%/std/fzn_range.mzn +%%DATADIR%%/std/fzn_range_reif.mzn +%%DATADIR%%/std/fzn_reachable_enum.mzn +%%DATADIR%%/std/fzn_reachable_enum_reif.mzn +%%DATADIR%%/std/fzn_reachable_int.mzn +%%DATADIR%%/std/fzn_reachable_int_reif.mzn +%%DATADIR%%/std/fzn_regular.mzn +%%DATADIR%%/std/fzn_regular_nfa.mzn +%%DATADIR%%/std/fzn_regular_nfa_reif.mzn +%%DATADIR%%/std/fzn_regular_nfa_set.mzn +%%DATADIR%%/std/fzn_regular_nfa_set_reif.mzn +%%DATADIR%%/std/fzn_regular_regexp.mzn +%%DATADIR%%/std/fzn_regular_reif.mzn +%%DATADIR%%/std/fzn_regular_set.mzn +%%DATADIR%%/std/fzn_regular_set_reif.mzn +%%DATADIR%%/std/fzn_roots.mzn +%%DATADIR%%/std/fzn_roots_reif.mzn +%%DATADIR%%/std/fzn_seq_precede_chain_int.mzn +%%DATADIR%%/std/fzn_seq_precede_chain_int_reif.mzn +%%DATADIR%%/std/fzn_seq_precede_chain_set.mzn +%%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_sum.mzn +%%DATADIR%%/std/fzn_sliding_sum_reif.mzn +%%DATADIR%%/std/fzn_sort.mzn +%%DATADIR%%/std/fzn_sort_reif.mzn +%%DATADIR%%/std/fzn_span.mzn +%%DATADIR%%/std/fzn_span_reif.mzn +%%DATADIR%%/std/fzn_steiner.mzn +%%DATADIR%%/std/fzn_steiner_reif.mzn +%%DATADIR%%/std/fzn_strict_lex2.mzn +%%DATADIR%%/std/fzn_strict_lex2_reif.mzn +%%DATADIR%%/std/fzn_strictly_decreasing_bool.mzn +%%DATADIR%%/std/fzn_strictly_decreasing_bool_reif.mzn +%%DATADIR%%/std/fzn_strictly_decreasing_int.mzn +%%DATADIR%%/std/fzn_strictly_decreasing_int_reif.mzn +%%DATADIR%%/std/fzn_strictly_increasing_bool.mzn +%%DATADIR%%/std/fzn_strictly_increasing_bool_reif.mzn +%%DATADIR%%/std/fzn_strictly_increasing_int.mzn +%%DATADIR%%/std/fzn_strictly_increasing_int_reif.mzn +%%DATADIR%%/std/fzn_subcircuit.mzn +%%DATADIR%%/std/fzn_subcircuit_reif.mzn +%%DATADIR%%/std/fzn_subgraph_enum.mzn +%%DATADIR%%/std/fzn_subgraph_enum_reif.mzn +%%DATADIR%%/std/fzn_subgraph_int.mzn +%%DATADIR%%/std/fzn_subgraph_int_reif.mzn +%%DATADIR%%/std/fzn_sum_pred.mzn +%%DATADIR%%/std/fzn_sum_pred_reif.mzn +%%DATADIR%%/std/fzn_sum_set.mzn +%%DATADIR%%/std/fzn_sum_set_reif.mzn +%%DATADIR%%/std/fzn_symmetric_all_different.mzn +%%DATADIR%%/std/fzn_symmetric_all_different_reif.mzn +%%DATADIR%%/std/fzn_table_bool.mzn +%%DATADIR%%/std/fzn_table_bool_reif.mzn +%%DATADIR%%/std/fzn_table_int.mzn +%%DATADIR%%/std/fzn_table_int_reif.mzn +%%DATADIR%%/std/fzn_transitive_closure.mzn +%%DATADIR%%/std/fzn_tree_enum.mzn +%%DATADIR%%/std/fzn_tree_enum_reif.mzn +%%DATADIR%%/std/fzn_tree_int.mzn +%%DATADIR%%/std/fzn_tree_int_reif.mzn +%%DATADIR%%/std/fzn_value_precede_chain_int.mzn +%%DATADIR%%/std/fzn_value_precede_chain_int_reif.mzn +%%DATADIR%%/std/fzn_value_precede_chain_set.mzn +%%DATADIR%%/std/fzn_value_precede_chain_set_reif.mzn +%%DATADIR%%/std/fzn_value_precede_int.mzn +%%DATADIR%%/std/fzn_value_precede_int_reif.mzn +%%DATADIR%%/std/fzn_value_precede_set.mzn +%%DATADIR%%/std/fzn_value_precede_set_reif.mzn +%%DATADIR%%/std/fzn_write.mzn +%%DATADIR%%/std/fzn_write_reif.mzn +%%DATADIR%%/std/fzn_writes.mzn +%%DATADIR%%/std/fzn_writes_reif.mzn +%%DATADIR%%/std/fzn_writes_seq.mzn +%%DATADIR%%/std/fzn_writes_seq_reif.mzn +%%DATADIR%%/std/fzn_wst.mzn +%%DATADIR%%/std/fzn_wst_reif.mzn +%%DATADIR%%/std/geost.mzn +%%DATADIR%%/std/global_cardinality.mzn +%%DATADIR%%/std/global_cardinality_closed.mzn +%%DATADIR%%/std/global_cardinality_closed_fn.mzn +%%DATADIR%%/std/global_cardinality_fn.mzn +%%DATADIR%%/std/global_cardinality_low_up.mzn +%%DATADIR%%/std/global_cardinality_low_up_closed.mzn +%%DATADIR%%/std/globals.mzn +%%DATADIR%%/std/increasing.mzn +%%DATADIR%%/std/increasing_bool.mzn +%%DATADIR%%/std/increasing_float.mzn +%%DATADIR%%/std/increasing_int.mzn +%%DATADIR%%/std/increasing_set.mzn +%%DATADIR%%/std/int_set_channel.mzn +%%DATADIR%%/std/inverse.mzn +%%DATADIR%%/std/inverse_fn.mzn +%%DATADIR%%/std/inverse_in_range.mzn +%%DATADIR%%/std/inverse_set.mzn +%%DATADIR%%/std/knapsack.mzn +%%DATADIR%%/std/lex2.mzn +%%DATADIR%%/std/lex_greater.mzn +%%DATADIR%%/std/lex_greatereq.mzn +%%DATADIR%%/std/lex_less.mzn +%%DATADIR%%/std/lex_less_bool.mzn +%%DATADIR%%/std/lex_less_float.mzn +%%DATADIR%%/std/lex_less_int.mzn +%%DATADIR%%/std/lex_less_set.mzn +%%DATADIR%%/std/lex_lesseq.mzn +%%DATADIR%%/std/lex_lesseq_bool.mzn +%%DATADIR%%/std/lex_lesseq_float.mzn +%%DATADIR%%/std/lex_lesseq_int.mzn +%%DATADIR%%/std/lex_lesseq_set.mzn +%%DATADIR%%/std/link_set_to_booleans.mzn +%%DATADIR%%/std/maximum.mzn +%%DATADIR%%/std/mdd.mzn +%%DATADIR%%/std/mdd_nondet.mzn +%%DATADIR%%/std/member.mzn +%%DATADIR%%/std/member_bool.mzn +%%DATADIR%%/std/member_float.mzn +%%DATADIR%%/std/member_int.mzn +%%DATADIR%%/std/member_set.mzn +%%DATADIR%%/std/minimum.mzn +%%DATADIR%%/std/network_flow.mzn +%%DATADIR%%/std/neural_net.mzn +%%DATADIR%%/std/nosets.mzn +%%DATADIR%%/std/nvalue.mzn +%%DATADIR%%/std/nvalue_fn.mzn +%%DATADIR%%/std/partition_set.mzn +%%DATADIR%%/std/path.mzn +%%DATADIR%%/std/piecewise_linear.mzn +%%DATADIR%%/std/range.mzn +%%DATADIR%%/std/range_fn.mzn +%%DATADIR%%/std/reachable.mzn +%%DATADIR%%/std/redefinitions-2.0.2.mzn +%%DATADIR%%/std/redefinitions-2.0.mzn +%%DATADIR%%/std/redefinitions-2.1.1.mzn +%%DATADIR%%/std/redefinitions-2.1.mzn +%%DATADIR%%/std/redefinitions-2.2.1.mzn +%%DATADIR%%/std/redefinitions-2.3.3.mzn +%%DATADIR%%/std/redefinitions.mzn +%%DATADIR%%/std/regular.mzn +%%DATADIR%%/std/regular_nfa.mzn +%%DATADIR%%/std/regular_regexp.mzn +%%DATADIR%%/std/regular_set.mzn +%%DATADIR%%/std/roots.mzn +%%DATADIR%%/std/roots_fn.mzn +%%DATADIR%%/std/seq_precede_chain.mzn +%%DATADIR%%/std/set_member.mzn +%%DATADIR%%/std/sliding_sum.mzn +%%DATADIR%%/std/sort.mzn +%%DATADIR%%/std/sort_fn.mzn +%%DATADIR%%/std/span.mzn +%%DATADIR%%/std/stdlib.mzn +%%DATADIR%%/std/steiner.mzn +%%DATADIR%%/std/strict_lex2.mzn +%%DATADIR%%/std/strictly_decreasing.mzn +%%DATADIR%%/std/strictly_increasing.mzn +%%DATADIR%%/std/subcircuit.mzn +%%DATADIR%%/std/subgraph.mzn +%%DATADIR%%/std/sum_pred.mzn +%%DATADIR%%/std/sum_set.mzn +%%DATADIR%%/std/symmetric_all_different.mzn +%%DATADIR%%/std/table.mzn +%%DATADIR%%/std/table_bool.mzn +%%DATADIR%%/std/table_int.mzn +%%DATADIR%%/std/tree.mzn +%%DATADIR%%/std/value_precede.mzn +%%DATADIR%%/std/value_precede_chain.mzn +%%DATADIR%%/std/value_precede_chain_int.mzn +%%DATADIR%%/std/value_precede_chain_set.mzn +%%DATADIR%%/std/value_precede_int.mzn +%%DATADIR%%/std/value_precede_set.mzn +%%DATADIR%%/std/weighted_spanning_tree.mzn +%%DATADIR%%/std/write.mzn +%%DATADIR%%/std/writes.mzn +%%DATADIR%%/std/writes_seq.mzn
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202008100527.07A5RX5d004722>