# Philippe's example. (ASAP'96)
#-----------------------
# 0 <= i <= P
# 0 <= j <= i
# 0 <= k <= i-j
# Q = i + j + k     schedule vector : (1,1,1). Q is the time step.
#-----------------------
7 7
#  i  j  k     P  Q   cst
1  1  0  0     0  0    0
1 -1  0  0     1  0    0
1  0  1  0     0  0    0
1  1 -1  0     0  0    0    # i - j >= 0
1  0  0  1     0  0    0
1  1 -1 -1     0  0    0    # i - j - k >= 0
0 -1 -1 -1     0  1    0    # -i - j - k + Q = 0

# context: two free parameters
0 4

