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

fd_sup(?Var,-Max)

See Also

ic : get_max / 2