stronger propagation for division by +-/1, more constraints are portrayed, instantiation errors closing i3a#14[3457]
stronger propagation for division by +-/1, more constraints are
portrayed, instantiation errors closing i3a#14[3457]

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