Closed this issue 5 years ago · 1 comments
Assign different domain to each element on creation for example l_i >= i+1, min(2*i, N-1)
We don't need 'u's because of our implementation of d0 and d1 with sets.