This package doesn't include MiniZinc library or its headers, but only
the MiniZinc to FlatZinc compiler.

This was done mainly to keep the package simpler.  If you have a use
case for the library then I'm ready to add it to the package.

The included JS visualization pages include scripts using external
URLs.  Not all of the used NPM packages have been packaged for Debian.

This version of Minizinc has been patched to try out alternatives as
system-wide default solver if none are specified, in
/usr/share/minizinc/Preferences.json.  As of this writing it supports
either Gecode's flatzinc or ortools-flatzinc.

 -- Kari Pahula <kaol@debian.org>, Sun, 31 Dec 2023 20:18:26 +0200