
fd_inf(?Var,-Min)

   

Type
   library(clpfd)

See Also
   ic : get_min / 2
