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. -- Kari Pahula , Wed, 18 May 2022 19:19:13 +0300