MiniZinc ======== This package contains the MiniZinc constraint modelling language and tool chain. For the full documentation, including installation and compilation instructions, see http://minizinc.org/doc-latest/index.html. ** Bugs ** If you encounter any problems with MiniZinc, please use the MiniZinc discussion forum https://www.minizinc.org/forum.html and the bug tracker at https://github.com/MiniZinc/libminizinc/issues to report any issues or feature requests.