Output to user-defined sections
Optional
defaultThe string output to the 'default' section (where no section was specified).
Optional
dznThe DZN output if produced.
model.solve({
jsonOutput: false,
options: {
solver: 'gecode',
'output-mode': 'dzn'
}
});
Optional
jsonThe JSON output if produced
Optional
rawThe output of all sections combined
Model output mapping section names to their contents.
The default mode will populate the
json
key with an object mapping variable names to their values (see the MiniZinc documentation for details on the format).Note that sections ending with
_json
will be arrays.