ENHANCED: CLP(FD): Multiplication is now bounds-consistent.
ENHANCED: CLP(FD): Multiplication is now bounds-consistent.

Example:

   ?- X in -2..1, Y in -2..1, X*Y #= 2.
   %@ X in -2.. -1,
   %@ X*Y#=2,
   %@ Y in -2.. -1.

mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel