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

Optional solver

solver?: string

Solver tag to use.

Settings

Member Visibility

Theme

On This Page

solver