The program finds one particular assignment which satisfies the input constraints using constraint propagation and LIFO (aka stack).