Interface: SatUnsatisfiableResult
@kortexya/reasoninglayer / SatUnsatisfiableResult
Interface: SatUnsatisfiableResult
Section titled “Interface: SatUnsatisfiableResult”Defined in: src/types/sat.ts:149
Result of a SAT solve where the formula was proven unsatisfiable.
Remarks
Section titled “Remarks”No model is produced. The solver does not return an unsat core over this endpoint; DRAT proof logging (SatSolveRequest.proofLogging) only affects server-side proof emission.
Example
Section titled “Example”if (response.result === 'unsatisfiable') { console.log(response.stats.conflicts);}Properties
Section titled “Properties”result
Section titled “result”result:
"unsatisfiable"
Defined in: src/types/sat.ts:151
Discriminant: the formula is unsatisfiable.
stats:
SatSolverStatsDto
Defined in: src/types/sat.ts:153
Solver statistics for this solve.