4
0.5 1.0 0.0 0.5
# x_0 >= 0.5
x[0] - 0.5 >= 0
# x_1 * x_2 < 0.5
0.5 - x[1] * x[2] >= 0
# x_1 > x_3
x[1] / x[3] - 1.0 >= 0
