MiniZinc JavaScript
    Preparing search index...

    Interface SolutionMessage

    Event emitted when a solution is found by the solver.

    interface SolutionMessage {
        output: Output;
        sections: string[];
        time?: number;
        type: "solution";
    }
    Index

    Properties

    output: Output

    Mapping between output section name and contents

    sections: string[]

    The sections output in order

    time?: number

    Time in milliseconds (if run with output-time: true)

    type: "solution"

    Message type