use sat/1 in residuals to also constrain variables to Boolean values
use sat/1 in residuals to also constrain variables to Boolean values

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