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.
Output to user-defined sections
The string output to the 'default' section (where no section was specified).
The DZN output if produced.
The JSON output if produced
The output of all sections combined
Generated using TypeDoc