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

scalar_product(+Csts,+Vars,+Rel,?Expr)