Skip to content
Kortexya Kortexya Reasoning Layer SDK

Interface: GenericModelRequest

@kortexya/reasoninglayer

@kortexya/reasoninglayer / Solver / GenericModelRequest

Interface: GenericModelRequest

Defined in: src/types/solver.ts:268

A generic constraint-model request used to begin a feasibility session.

Remarks

Wire shape (snake_case): { choice_points, constraints, objective }. Owned here as part of the shared cluster; consumed by the Feasibility domain.

Properties

choicePoints

choicePoints: ChoicePoint[]

Defined in: src/types/solver.ts:270

The decisions to explore, in order. Each must have alternativeCount ≥ 2.

constraints?

optional constraints: TypedConstraint[]

Defined in: src/types/solver.ts:272

The typed constraints over the flat decision variables.

objective?

optional objective: LinTerm[]

Defined in: src/types/solver.ts:281

Optional linear objective to maximize (Σ weight·var over the true decision variables), as (var, weight) terms. Empty/omitted ⇒ pure-feasibility mode (the trichotomy over all feasible completions). Non-empty ⇒ optimize mode: the trichotomy is taken over the maximum-weight completions and the responses carry totalScore (the optimum). A var absent from the list has weight 0; duplicate vars sum.