Interface ParamConfig

Options configuration in parameter configuration file (.mpc) format.

Example

model.solve({
  options: {
    solver: 'gecode', // Maps to --solver gecode
    'all-solutions': true, // Maps to --all-solutions
    'output-objective': true, // maps to --output-objective
  }
});
interface ParamConfig {
    solver?: string;
    [arg: string]: any;
}

Indexable

  • [arg: string]: any

    MiniZinc command line options.

    The leading -- can be omitted, and if the value is true it is treated as a flag).

Properties

solver?

Properties

Optionalsolver

solver?: string

Solver tag to use.

Settings

Member Visibility

On This Page

Properties