Kill instead of terminate (which doesn't seem to work on windows)
Kill instead of terminate (which doesn't seem to work on windows)

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE