ConstraintSolver AC3-LA