Package org.chocosolver.solver.constraints.nary.lex

Class Summary

Class	Description
PropLex	Enforce a lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .
PropLexChain	Solver constraint of the LexChain constraint.