Reuse empty file when opening another file (only if not modified)
Reuse empty file when opening another file (only if not modified)

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