Interface: SolveOptions

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Optimize / SolveOptions

Interface: SolveOptions

Defined in: src/types/optimize.ts:118

Options for the LP solve operation.

Properties

cleanup?

optional cleanup: boolean

Defined in: src/types/optimize.ts:127

Whether to clean up the temporary sort and rule after solving (default: true). Set to false to keep them for debugging.

---

maxDepth?

optional maxDepth: number

Defined in: src/types/optimize.ts:122

Maximum proof depth (default: 50).

---

timeoutMs?

optional timeoutMs: number

Defined in: src/types/optimize.ts:120

Timeout in milliseconds for the backward chaining query (default: 30000).