Run external solvers through the minizinc command line tool (to avoid duplicating processing of command line options)
Run external solvers through the minizinc command line tool (to avoid duplicating processing of command line options)

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