faster linear disequalities
faster linear disequalities

Example:  ?- time((Zs = [A,B,C,D], Zs ins -10..10,
                   sum(Zs,#=,S), sum(Zs,#\=,S),
                   labeling([ff],Zs))).

previously:

 108,468,038 inferences, 20.56 CPU in 20.70 seconds (99% CPU, 5275683 Lips)

now:

 50,781,815 inferences, 10.51 CPU in 10.54 seconds (100% CPU, 4831762 Lips)

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