Interface: SolveConstraintResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Constraints / SolveConstraintResponse

Interface: SolveConstraintResponse

Defined in: src/types/constraints.ts:72

Response from solving arithmetic constraints.

Remarks

Matches Rust SolveConstraintResponse.

Properties

bindings

bindings: Record<string, number>

Defined in: src/types/constraints.ts:76

Variable bindings found by the solver.

---

message?

optional message: string | null

Defined in: src/types/constraints.ts:80

Human-readable message.

---

success

success: boolean

Defined in: src/types/constraints.ts:74

Whether all constraints were satisfied.

---

suspendedConstraints

suspendedConstraints: string[]

Defined in: src/types/constraints.ts:78

Constraints that could not be solved (suspended).