
sum(+Vars,+Rel,?Expr)

   

Type
   library(clpfd)


