[ library(clpfd) | Reference Manual | Alphabetic Index ]

lex_chain(+Lists)

See Also

ic_global : lex_le / 2