4.2.6. MiniZincIDE tools

This library contains features designed for use from within the MiniZinc IDE. These are not guaranteed to work when run outside the IDE.