Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: SolveOptions

@kortexya/reasoninglayer

@kortexya/reasoninglayer / SolveOptions

Interface: SolveOptions

Section titled “Interface: SolveOptions”

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

Options for the LP solve operation.

Properties

Section titled “Properties”

cleanup?

Section titled “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?

Section titled “maxDepth?”

optional maxDepth?: number

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

Maximum proof depth (default: 50).

timeoutMs?

Section titled “timeoutMs?”

optional timeoutMs?: number

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

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