This function reaches a fixed point during constraint propagation. The constraint deduction rules are applied successively until no more deductions are possible. Note that propagating a constraint does not imply that the involved variables will be instantiated.

Returns false if the propagation reaches a contradiction (infeasible problem), else returns true

cp_post KALIS_AUTO_PROPAGATE