constraints

An optional set of constraints can be added on variables. This can be useful to add e.g. arithmetic constraints like l' = l + 1 or r2 > r1 on variables for levels and rounds. See the section on constraints for more details.