stronger finite_domain(V) #<==> 0, enforcing infinite domain
stronger finite_domain(V) #<==> 0, enforcing infinite domain

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