variables x , y , w , h ∈ R
constraint ∑ i a i ⁢ v i + c ⋈ 0 ⋈ is one of = ≤ ≥