Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: OptimizationResult

@kortexya/reasoninglayer

@kortexya/reasoninglayer / OptimizationResult

Type Alias: OptimizationResult

Section titled “Type Alias: OptimizationResult”

OptimizationResult = OptimalResult | InfeasibleResult | UndeterminedResult

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

Result of an LP optimization.

Remarks

Section titled “Remarks”

Discriminated union on status:

  • 'optimal': a feasible solution was found; variables and objectiveValue are populated.
  • 'infeasible': no feasible solution exists. The engine’s derivation was complete, so the empty answer is a refutation.
  • 'undetermined': no solution was found, but the engine did not report a complete derivation (a depth, time or solution bound, or a pending constraint). The problem may still be feasible; retry with a larger timeoutMs or maxDepth.