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 <kaol@debian.org>, Sat,  2 Jan 2016 20:44:33 +0200
