Type Alias: SatVerdict
@kortexya/reasoninglayer / Sat / SatVerdict
Type Alias: SatVerdict
SatVerdict =
"satisfiable"|"unsatisfiable"|"unknown"
Defined in: src/types/sat.ts:71
Satisfiability verdict returned by the native CDCL SAT solver.
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
const verdict: SatVerdict = 'unsatisfiable';