Optex.QConstraint (Optex v0.1.0)

Copy Markdown View Source

A quadratic constraint x^T C x + a^T x SENSE rhs, stored normalized (the affine constant folded into the rhs) with literal coefficients. Lives in its own id space, separate from linear rows. Solved natively by capable backends: Gurobi (including nonconvex and equality), CPLEX (convex, <=/>= only); HiGHS rejects.

Summary

Types

t()

@type t() :: %Optex.QConstraint{
  aff: Optex.Aff.t(),
  id: non_neg_integer(),
  name: term(),
  rhs: number(),
  sense: :le | :ge | :eq
}