
X #==> Y

   

Type
   library(clpfd)


