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