From a5fc928f0047d68aa056149e46c84c8301ea21fa Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Mon, 3 May 2021 17:39:14 -0700 Subject: [PATCH] New port: math/minizinc-solvers: Metaport for MiniZinc solver --- math/Makefile | 1 + math/minizinc-solvers/Makefile | 29 +++++++++++++++++++++++++++++ math/minizinc-solvers/pkg-descr | 5 +++++ 3 files changed, 35 insertions(+) create mode 100644 math/minizinc-solvers/Makefile create mode 100644 math/minizinc-solvers/pkg-descr diff --git a/math/Makefile b/math/Makefile index 1ad2d0db85e04..f84f605e5c668 100644 --- a/math/Makefile +++ b/math/Makefile @@ -424,6 +424,7 @@ SUBDIR += minisat SUBDIR += minizinc SUBDIR += minizinc-ide + SUBDIR += minizinc-solvers SUBDIR += miracl SUBDIR += mlpack SUBDIR += moab diff --git a/math/minizinc-solvers/Makefile b/math/minizinc-solvers/Makefile new file mode 100644 index 0000000000000..159864dff3b63 --- /dev/null +++ b/math/minizinc-solvers/Makefile @@ -0,0 +1,29 @@ + +PORTNAME= minizinc-solvers +PORTVERSION= 20210503 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Metaport for MiniZinc solvers + +USES= metaport + +OPTIONS_MULTI= LIST +OPTIONS_MULTI_LIST= BONMIN CHUFFED COUENNE OR_TOOLS +OPTIONS_DEFAULT= ${OPTIONS_MULTI_LIST} + +LIST_DESC= Install: + +BONMIN_DESC= Nonlinear mixed integer programming solver (COIN-OR) +BONMIN_RUN_DEPENDS= coin-or-bonmin>0:math/bonmin + +CHUFFED_DESC= Chuffed lazy clause generation CP solver +CHUFFED_RUN_DEPENDS= chuffed>0:math/chuffed + +COUENNE_DESC= Nonlinear convex over and under envelopes solver (COIN-OR) +COUENNE_RUN_DEPENDS= coin-or-couenne>0:math/couenne + +OR_TOOLS_DESC= Google OR-Tools-based solver +OR_TOOLS_RUN_DEPENDS= or-tools>0:math/or-tools + +.include diff --git a/math/minizinc-solvers/pkg-descr b/math/minizinc-solvers/pkg-descr new file mode 100644 index 0000000000000..2c3d962ffa413 --- /dev/null +++ b/math/minizinc-solvers/pkg-descr @@ -0,0 +1,5 @@ +All MiniZinc solvers available as FreeBSD ports. + +This is the metaport. + +WWW: https://www.minizinc.org/