Interface: SatUnknownResult
@kortexya/reasoninglayer / SatUnknownResult
Interface: SatUnknownResult
Section titled “Interface: SatUnknownResult”Defined in: src/types/sat.ts:170
Result of a SAT solve that hit its conflict budget before deciding.
Remarks
Section titled “Remarks”Returned when SatSolveRequest.maxConflicts is exceeded. Raise the
budget (or set it to 0 for unlimited) and retry to obtain a verdict.
Example
Section titled “Example”if (response.result === 'unknown') { console.log('budget exhausted after', response.stats.conflicts, 'conflicts');}Properties
Section titled “Properties”result
Section titled “result”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.