
&\=(?X, ?Y, ?Bool)

   Reified version of X &\= Y

Arguments
   X                   Variable or atomic value
   Y                   Variable or atomic value
   Bool                0, 1, or boolean variable

Type
   library(sd)

See Also
   &\= / 2
