Options configuration in parameter configuration file (.mpc) format.
.mpc
model.solve({ options: { solver: 'gecode', // Maps to --solver gecode 'all-solutions': true, // Maps to --all-solutions 'output-objective': true, // maps to --output-objective }}); Copy
model.solve({ options: { solver: 'gecode', // Maps to --solver gecode 'all-solutions': true, // Maps to --all-solutions 'output-objective': true, // maps to --output-objective }});
MiniZinc command line options.
The leading -- can be omitted, and if the value is true it is treated as a flag).
--
true
Optional
Solver tag to use.
Options configuration in parameter configuration file (
.mpc) format.Example