Alldifferent constraint on a list of Expression, enforces that each takes a different value.
Parameters:  vars – the variables or expressions which must take different values. This should be a VarArray or list with at least two items. 

Note
Can only be used as a toplevel constraint, not reified.
Alldifferent except zero constraint on a list of Expression, enforces that each takes a different value, except those which take the value 0.
Parameters:  vs – the variables or expressions which must take different values. This should be a VarArray or list with at least two items. 

Note
Can only be used as a toplevel constraint, not reified.
Sum expression with linear coefficients. Numberjack will detect inline sum expressions to extract the sum expression. For example, the following three statements are equivalent however the last one requires the least amount of overhead by Numberjack.
2*a + b + 0.5*c + 3*d == e
Sum([2*a, b, 0.5*c, 3*d]) == e
Sum([a,b,c,d], [2, 1, 0.5, 3]) == e
Note
Cannot be used as a toplevel constraint, but can be used as the objective funcion.
Parameters: 


The Global Cardinality Constraint limits the number of times that certain values can be used within a set of variables. For example, we might want the value 1 to occur at least once and at most twice, the value 2 to occur exactly twice, the value 3 at most four times, and so on.
Parameters: 


X = VarArray(5, 1, 4)
cards = {1: (1, 2), 2: (2, 2), 3: (0, 3), 4: (1, 2)}
model = Model(Gcc(X,cards))
Note
Can only be used as a toplevel constraint, not reified.
Lessthan lexicographic ordering constraint between two lists of expressions.
Parameters: 


Note
Can only be used as a toplevel constraint, not reified.
Lessthanorequal lexicographic ordering constraint between two lists of expressions.
Parameters: 


Note
Can only be used as a toplevel constraint, not reified.
Disjunction specifying that at least one of the subexpressions should be true. This can be a toplevel constraint or reified as a subexpression.
Parameters:  vars – the variables or expressions. This should be a VarArray or list with at least two items. 

Conjunction specifying that all the subexpressions should be true. This should only be used as a reified subexpression, otherwise, there is an implicity conjunction across all toplevel constraints anyway.
Parameters:  vars – the variables or expressions. This should be a VarArray or list with at least two items. 

The following should be used as subexpressions, not as toplevel constraints.
The maximum value of a set of Variables.
Parameters:  vars – the variables or expressions. This should be a VarArray or list with at least two items. 

Note
Cannot be used as a toplevel constraint, only as a subexpression.
The minimum value of a set of Variables.
Parameters:  vars – the variables or expressions. This should be a VarArray or list with at least two items. 

Note
Cannot be used as a toplevel constraint, only as a subexpression.
Given an integer Variable e index and a VarArray e vars, Element is the Predicate holding the value of the variable at index index of the array vars.
Parameters:  vars – the variables or expressions. This should be a VarArray or list with at least two items. 

vars = VarArray(5, 1, 4)
index = Variable(0, 4)
elt1 = Element(vars, index)
elt2 = vars[index]
Note
Cannot be used as a toplevel constraint, only as a subexpression.
Counts the number of expressions which have been assigned a specific value.
Parameters: 


Note
Cannot be used as a toplevel constraint, only as a subexpression.