Module Constraint.Linear

val (<=) : LinearExpr.t -> LinearExpr.t -> t

A linear constraint: lhs <= rhs.

val (>=) : LinearExpr.t -> LinearExpr.t -> t

A linear constraint: lhs >= rhs.

val (<) : LinearExpr.t -> LinearExpr.t -> t

A linear constraint: lhs < rhs.

val (>) : LinearExpr.t -> LinearExpr.t -> t

A linear constraint: lhs > rhs.

val (==) : LinearExpr.t -> LinearExpr.t -> t

A linear constraint: lhs == rhs.

val (!=) : LinearExpr.t -> LinearExpr.t -> t

A Linear constraint: lhs != rhs.