Package: gecode-flatzinc
Source: gecode-snapshot
Version: 6.2.0+git20260120-2
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Kari Pahula <kaol@debian.org>
Installed-Size: 12203
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libmpfr6 (>= 3.1.3), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.9.1), libqt6printsupport6 (>= 6.1.2), libqt6widgets6 (>= 6.3.0), libstdc++6 (>= 14)
Recommends: minizinc
Breaks: flatzinc (<< 6.2.0+git20240207)
Replaces: flatzinc (<< 6.2.0+git20240207)
Provides: flatzinc
Section: devel
Priority: optional
Homepage: https://www.gecode.org/flatzinc.html
Description: constraint problem modelling language
 FlatZinc is a low-level modelling language for constraint
 problems. It is designed to be easily interfaceable to constraint
 solvers (like Gecode). For more information on FlatZinc, please refer
 to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.
