org.chocosolver.solver.constraints.nary.lex
Classes
PropLex
PropLexChain