
fd_sup(?Var,-Max)

   

Type
   library(clpfd)

See Also
   ic : get_max / 2
