| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/minizinc-solvers/ |
Upload File : |
PORTNAME= minizinc-solvers
PORTVERSION= 20210505
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Metaport for MiniZinc solvers
WWW= https://www.minizinc.org/
USES= metaport
OPTIONS_MULTI= LIST
OPTIONS_MULTI_LIST= BONMIN CHUFFED COUENNE JACOP GECODE 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
JACOP_DESC= Java Constraint Programming solver
JACOP_RUN_DEPENDS= jacop>0:math/jacop
GECODE_DESC= Gecode solver
GECODE_RUN_DEPENDS= gecode>0:math/gecode
OR_TOOLS_DESC= Google OR-Tools-based solver
OR_TOOLS_RUN_DEPENDS= or-tools>0:math/or-tools
.include <bsd.port.mk>