Interface: SatUnknownResult

Defined in: src/types/sat.ts:170

Result of a SAT solve that hit its conflict budget before deciding.

Remarks

Returned when SatSolveRequest.maxConflicts is exceeded. Raise the budget (or set it to 0 for unlimited) and retry to obtain a verdict.

if (response.result === 'unknown') {
  console.log('budget exhausted after', response.stats.conflicts, 'conflicts');
}

result: "unknown"

Defined in: src/types/sat.ts:172

Discriminant: no verdict was reached within the conflict budget.

stats: SatSolverStatsDto

Defined in: src/types/sat.ts:174

Solver statistics for this solve.