
X #\/ Y

   

Type
   library(clpfd)


