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

fd_inf(?Var,-Min)

See Also

ic : get_min / 2