Type Alias: SatVerdict
@kortexya/reasoninglayer / SatVerdict
Type Alias: SatVerdict
Section titled “Type Alias: SatVerdict”SatVerdict =
"satisfiable"|"unsatisfiable"|"unknown"
Defined in: src/types/sat.ts:71
Satisfiability verdict returned by the native CDCL SAT solver.
Remarks
Section titled “Remarks”Serialized on the wire as the bare lowercase string (e.g. "satisfiable"),
not as a tagged object. "unknown" is returned when the conflict budget
(SatSolveRequest.maxConflicts) is exhausted before a verdict is reached.
Example
Section titled “Example”const verdict: SatVerdict = 'unsatisfiable';