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. -- Kari Pahula , Sat, 2 Jan 2016 20:44:33 +0200