math/minizinc 2.10.1 FreeBSD
Constraint modeling language
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
efd389d896- License
- MPL20
- Categories
- math, lang
- Package size
- 2231.4 KiB, 8476.8 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/minizinc | 2.10.1 |
| DragonFly | math/minizinc | 2.8.7 |
Install
Binary package:
pkg install minizincFrom the ports tree:
cd /usr/ports/math/minizinc/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= minizinc>0:math/minizinc
LIB_DEPENDS= libmzn.so:math/minizincPackages
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 | 2.10.1 | 2.10.1 | - | - | - |
| FreeBSD:14:quarterly | 2.10.1 | 2.10.1 | n/a | - | - |
| FreeBSD:15:latest | 2.10.1 | 2.10.1 | n/a | - | 2.8.7 |
| FreeBSD:15:quarterly | 2.10.1 | 2.10.1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2.10.1 | 2.10.1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 8
libCbc.so: math/cbclibCgl.so: math/cgllibchuffed_fzn.so: math/chuffedlibCoinUtils.so: math/coinutilslibgecodekernel.so: math/gecodelibmpfr.so: math/mpfrlibOsi.so: math/osilibOsiClp.so: math/clp
The full lists below include those, and their dependencies in turn.
Build dependencies 149
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/sqlite3
- devel/binutils
- devel/bison
- devel/cmake-core
- devel/dbus
- devel/dbus-glib
- devel/double-conversion
- devel/gettext-runtime
- devel/glib20
- 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/libtextstyle
- devel/libthai
- devel/libudev-devd
- devel/libunistring
- devel/libuv
- devel/m4
- devel/ninja
- devel/pcre2
- devel/py-evdev
- devel/py-libevdev
- devel/py-packaging
- devel/py-pyudev
- devel/py-setuptools
- devel/py-six
- devel/qt6-base
- devel/readline
- dns/libidn2
- graphics/cairo
- graphics/colord
- graphics/gdk-pixbuf2
- graphics/graphite2
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libdrm
- graphics/libepoxy
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/tiff
- graphics/vulkan-loader
- graphics/wayland
- lang/duktape-lib
- lang/gcc14
- lang/lua54
- lang/perl5.42
- lang/python312
- lang/python315
- lang/tcl86
- math/asl
- math/blas
- 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/gecode
- math/gmp
- math/lapack
- math/libtommath
- math/mpc
- math/mpdecimal
- math/mpfr
- math/nauty
- math/openblas
- math/osi
- misc/hicolor-icon-theme
- misc/hwdata
The first 100 are listed.
Run dependencies 138
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/sqlite3
- devel/binutils
- devel/dbus
- devel/dbus-glib
- devel/double-conversion
- devel/gettext-runtime
- devel/glib20
- devel/gobject-introspection
- devel/gsettings-desktop-schemas
- devel/icu
- devel/json-glib
- 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/pcre2
- devel/py-evdev
- devel/py-libevdev
- devel/py-packaging
- devel/py-pyudev
- devel/py-setuptools
- devel/py-six
- devel/qt6-base
- devel/readline
- graphics/cairo
- graphics/colord
- graphics/gdk-pixbuf2
- graphics/graphite2
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libdrm
- graphics/libepoxy
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/tiff
- graphics/vulkan-loader
- graphics/wayland
- lang/duktape-lib
- lang/gcc14
- lang/lua54
- lang/perl5.42
- lang/python312
- lang/python315
- lang/tcl86
- math/asl
- math/blas
- 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/gecode
- math/gmp
- math/lapack
- math/libtommath
- math/mpc
- math/mpdecimal
- math/mpfr
- math/nauty
- math/openblas
- math/osi
- misc/hicolor-icon-theme
- misc/hwdata
- misc/shared-mime-info
- multimedia/dav1d
- net/avahi-app
- print/cups
- print/freetype2
- print/harfbuzz
- print/indexinfo
- print/libpaper
- sysutils/gnome_subr
The first 100 are listed.
Required by 1
Configuration
No options to configure.
- USES
- bison cmake compiler:c++11-lang
- Service scripts
- none
Files
pkg-plist 995
- bin/minizinc
- bin/mzn2doc
- include/minizinc/MIPdomains.hh
- 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
- 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/blackbox.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/param_config.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/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_wrap.hh
- include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh
- include/minizinc/solvers/MIP/MIP_highs_wrap.hh
- include/minizinc/solvers/MIP/MIP_osicbc_wrap.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_wrap.hh
- include/minizinc/solvers/atlantis_solverinstance.hh
- include/minizinc/solvers/chuffed_solverinstance.hh
- include/minizinc/solvers/fzn_solverinstance.hh
- include/minizinc/solvers/geas/geas_constraints.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_solverinstance.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_solverinstance.hh
- include/minizinc/stackdump.hh
- include/minizinc/statistics.hh
- include/minizinc/support/regex.hh
- include/minizinc/support/regex_parser.tab.hh
- include/minizinc/timer.hh
- include/minizinc/type.hh
- include/minizinc/typecheck.hh
- include/minizinc/utils.hh
- include/minizinc/values.hh
- include/minizinc/warning.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
- lib/cmake/libminizinc/libminizincTargets.cmake
- lib/libmzn.so
- share/minizinc/Preferences.json
- share/minizinc/chuffed_internal/chuffed.mzn
- share/minizinc/chuffed_internal/edit_distance.mzn
- share/minizinc/chuffed_internal/experimental/assume/fzn_assume.mzn
The first 100 are listed.
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| MiniZinc-libminizinc-2.10.1_GH0.tar.gz | 8.571096e+06 | 089ea94698cea94ed8396be77559b82d828437a808f5e37d10bccc9f1d39dd33 |