Package: minizinc
Version: 2.9.3+dfsg1-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Kari Pahula <kaol@debian.org>
Installed-Size: 8158
Depends: coinor-libcbc3.1 (>= 2.10.12+ds), coinor-libcgl1 (>= 0.60.9+ds), coinor-libclp1 (>= 1.17.10+ds), coinor-libcoinutils3v5 (>= 2.11.12+ds), coinor-libosi1v5 (>= 0.108.11+ds), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgecode49t64 (>= 6.2.0), libgecodegist49t64 (>= 6.2.0), libstdc++6 (>= 14), jq, python3-demjson, flatzinc | gecode-flatzinc | ortools-flatzinc (>= 8.2+ds-6) | chuffed-flatzinc | highs
Breaks: flatzinc (<< 6.2.0-6), minizinc-ide (<< 2.4.0~)
Section: devel
Priority: optional
Homepage: https://www.minizinc.org/
Description: constraint modelling language and tool chain
 MiniZinc is a medium-level constraint modelling language. It is
 high-level enough to express most constraint problems easily, but
 low-level enough that it can be mapped onto existing solvers easily
 and consistently. It is a subset of the higher-level language Zinc.
 .
 MiniZinc is designed to interface easily to different backend
 solvers.  It does this by transforming an input MiniZinc model and
 data file into a FlatZinc model. FlatZinc models consist of variable
 declaration and constraint definitions as well as a definition of the
 objective function if the problem is an optimization problem. The
 translation from MiniZinc to FlatZinc is specializable to individual
 backend solvers, so they can control what form constraints end up
 in. In particular, MiniZinc allows the specification of global
 constraints by decomposition.
