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

Properties

solver?: string

Solver tag to use.