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

sum(+Vars,+Rel,?Expr)