Solver
@kortexya/reasoninglayer / Solver
Solver
Section titled “Solver”Interfaces
Section titled “Interfaces”References
Section titled “References”BoolExpr
Section titled “BoolExpr”Re-exports BoolExpr
ChoicePoint
Section titled “ChoicePoint”Re-exports ChoicePoint
ClassifyProblemRequest
Section titled “ClassifyProblemRequest”Re-exports ClassifyProblemRequest
ClassifyProblemResponse
Section titled “ClassifyProblemResponse”Re-exports ClassifyProblemResponse
ConstraintSense
Section titled “ConstraintSense”Re-exports ConstraintSense
FlowRelOp
Section titled “FlowRelOp”Re-exports FlowRelOp
GenericModelRequest
Section titled “GenericModelRequest”Re-exports GenericModelRequest
LinExpr
Section titled “LinExpr”Re-exports LinExpr
LinTerm
Section titled “LinTerm”Re-exports LinTerm
Re-exports Lit
Objective
Section titled “Objective”Re-exports Objective
ObjectiveSense
Section titled “ObjectiveSense”Re-exports ObjectiveSense
SolutionStatus
Section titled “SolutionStatus”Re-exports SolutionStatus
SolveProblemRequest
Section titled “SolveProblemRequest”Re-exports SolveProblemRequest
SolveProblemResponse
Section titled “SolveProblemResponse”Re-exports SolveProblemResponse
SolverHealthResponse
Section titled “SolverHealthResponse”Re-exports SolverHealthResponse
SolverHint
Section titled “SolverHint”Re-exports SolverHint
TemporalRule
Section titled “TemporalRule”Re-exports TemporalRule
TypedConstraint
Section titled “TypedConstraint”Re-exports TypedConstraint
VariableClassification
Section titled “VariableClassification”Re-exports VariableClassification
VariableSpec
Section titled “VariableSpec”Re-exports VariableSpec
VarKind
Section titled “VarKind”Re-exports VarKind