Closed rtaupe closed 5 years ago
Currently, PipedMiniZincExecutor only supports mzn2fzn+fzn-gecode, while MiniZincExecutor supports only minizinc without any parameters. In the future, all solvers delivered with MiniZincIDE releases should be supported.
PipedMiniZincExecutor
mzn2fzn
fzn-gecode
MiniZincExecutor
minizinc
Currently,
PipedMiniZincExecutoronly supportsmzn2fzn+fzn-gecode, whileMiniZincExecutorsupports onlyminizincwithout any parameters. In the future, all solvers delivered with MiniZincIDE releases should be supported.