CBLS.jl

DiscreteSet(values)

Constraint ensuring that the value of x is less than a given parameter param.

@constraint(model, x in LessThanParam(param))

Constraint ensuring that the value of x is less than a given parameter param.

@constraint(model, x in MinusEqualParam(param))

Local constraint ensuring that, given a vector X of size 4, |X[1] - X[2]| ≠ |X[3] - X[4]|).

@constraint(model, X in SequentialTasks())

Global constraint ensuring that the sum of the values of X is equal to a given parameter param.

@constraint(model, X in SumEqualParam(param))