BSD Portsmath/minizinc-solvers 20210505_2 FreeBSD
Metaport for MiniZinc solvers
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- NA
- Categories
- math
- Package size
- 1.2 KiB, 0.2 KiB installed
Description
All MiniZinc solvers available as FreeBSD ports.
This is the metaport.
Install
Binary package:
pkg install minizinc-solversFrom the ports tree:
cd /usr/ports/math/minizinc-solvers/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= minizinc-solvers>0:math/minizinc-solversPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 20210505_2 | 20210505_2 | - | - | - |
| FreeBSD:14:quarterly | 20210505_2 | 20210505_2 | n/a | - | - |
| FreeBSD:15:latest | 20210505_2 | 20210505_2 | n/a | - | 20210505_2 |
| FreeBSD:15:quarterly | 20210505_2 | 20210505_2 | n/a | n/a | n/a |
| FreeBSD:16:latest | 20210505_2 | 20210505_2 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Run dependencies 173
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- audio/alsa-lib
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/sqlite3
- devel/abseil
- devel/binutils
- devel/dbus
- devel/dbus-glib
- devel/double-conversion
- devel/gettext-runtime
- devel/gflags
- devel/glib20
- devel/glog
- devel/gobject-introspection
- devel/gsettings-desktop-schemas
- devel/icu
- devel/json-glib
- devel/jsoncpp
- devel/libb2
- devel/libdaemon
- devel/libdatrie
- devel/libedit
- devel/libepoll-shim
- devel/libevdev
- devel/libevent
- devel/libffi
- devel/libgudev
- devel/libgusb
- devel/libinotify
- devel/libmtdev
- devel/libpciaccess
- devel/libthai
- devel/libudev-devd
- devel/libunistring
- devel/libunwind
- devel/pcre2
- devel/protobuf
- devel/py-evdev
- devel/py-libevdev
- devel/py-packaging
- devel/py-pyudev
- devel/py-setuptools
- devel/py-six
- devel/qt6-base
- devel/re2
- devel/readline
- dns/libidn2
- dns/libpsl
- ftp/curl
- graphics/cairo
- graphics/colord
- graphics/gdk-pixbuf2
- graphics/giflib
- graphics/graphite2
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libdrm
- graphics/libepoxy
- graphics/libgeotiff
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/proj
- graphics/tiff
- graphics/vulkan-loader
- graphics/wayland
- java/javavmwrapper
- java/openjdk17
- lang/duktape-lib
- lang/gcc14
- lang/lua54
- lang/perl5.42
- lang/python312
- lang/python315
- lang/tcl86
- math/asl
- math/blas
- math/bonmin
- math/cbc
- math/cgl
- math/chuffed
- math/clp
- math/coin-or-data-netlib
- math/coin-or-data-sample
- math/coin-or-metis
- math/coin-or-mumps
- math/coinutils
- math/couenne
- math/gecode
- math/gmp
The first 100 are listed.
No port depends on this one.
Configuration
Options name: math_minizinc-solvers
| Option | Default | Description |
|---|---|---|
| BONMIN | on | Nonlinear mixed integer programming solver (COIN-OR) |
| CHUFFED | on | Chuffed lazy clause generation CP solver |
| COUENNE | on | Nonlinear convex over and under envelopes solver (COIN-OR) |
| GECODE | on | Gecode solver |
| JACOP | on | Java Constraint Programming solver |
| OR_TOOLS | on | Google OR-Tools-based solver |
- USES
- metaport
- Service scripts
- none
Files
No file lists for this port.
Commit history 0
No commits in the history this site was built from.