MiniZinc IDE 2.1.3
This release improves the handling of output generated by subprocesses, and clarified the option under "User defined behavior" in the configuration tab. The bundled version now includes MiniZinc 2.1.3 and comes with an updated version of CBC that fixes a few bugs.