Pb[3 vars, 1 cons]
Pb[3 vars, 1 cons]
==== VARIABLES ====
x:?[1, 3]
y:?[1, 2]
z:1[1, 1]
Pb[3 vars, 1 cons]
==== CONSTRAINTS ====
 ( (x:? = y:?) and (y:? >= z:1 + 1) and (x:? >= z:1 + 1) ) or ( (x:? = z:1) and (z:1 >= y:? + 1) and (x:? >= y:? + 1) ) or ( (y:? = z:1) and (z:1 >= x:? + 1) and (y:? >= x:? + 1) ) or ( (x:? = y:?) and (y:? = z:1) and (x:? = z:1) ) 

Pb[3 vars, 1 cons]
Pb[3 vars, 1 cons]
==== VARIABLES ====
x:?[1, 3]
y:?[1, 2]
z:1[1, 1]
Pb[3 vars, 1 cons]
==== CONSTRAINTS ====
 ( (x:? = y:?) and (y:? >= z:1 + 1) and (x:? >= z:1 + 1) ) or ( (x:? = z:1) and (z:1 >= y:? + 1) and (x:? >= y:? + 1) ) or ( (y:? = z:1) and (z:1 >= x:? + 1) and (y:? >= x:? + 1) ) or ( (x:? = y:?) and (y:? = z:1) and (x:? = z:1) )