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
@type t() :: %Optex.QConstraint{ aff: Optex.Aff.t(), id: non_neg_integer(), name: term(), rhs: number(), sense: :le | :ge | :eq }