from
Builds a half-space (in a · x <= b form) from a problem LinearConstraint, expanding the constraint's coefficients to the full input order and negating a greater-than constraint so the result is always less-than-or-equal.
Parameters
constraint
the linear constraint
input
the problem's input names, defining the coefficient order