MiniZinc JavaScript
    Preparing search index...

    Interface StatusMessage

    Event emitted when the final status is emitted by the solver.

    Note that this event may not be emitted at all.

    interface StatusMessage {
        status: Status;
        time?: number;
        type: "status";
    }
    Index

    Properties

    Properties

    status: Status

    Status

    time?: number

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

    type: "status"

    Message type