Skip to main content

Type Alias: SolutionEvent

SolutionEvent = { solution: Solution; solveTime: number; valid?: true; }

An event emitted when the solver finds a solution.

Remarks​

An event emitted by Solver when a solution is found.

The event can be intercepted by setting the Solver.onSolution callback. The event contains the solution, solving time so far, and the result of solution verification.

See​

Solving​

solution​

solution: Solution

The solution containing values for all variables and the objective value.

Remarks​

The solution contains values of all variables in the model (including optional variables) and the value of the objective (if the model specified one).

See​

Solution for accessing variable values.

solveTime​

solveTime: number

The duration of the solve at the time the solution was found, in seconds.

valid?​

optional valid?: true

Result of the verification of the solution.

Remarks​

When parameter Parameters.verifySolutions is set to True (the default), the solver verifies all solutions found. The verification checks that all constraints in the model are satisfied and that the objective value is computed correctly.

The verification is done using a separate code (not used during the search). The point is to independently verify the correctness of the solution.

Possible values are:

  • None - the solution was not verified (because the parameter Parameters.verifySolutions was not set).
  • True - the solution was verified and correct.

The value can never be False because, in that case, the solver ends with an error.