If we take into account that constraints are soft, then processing constraints becomes algorithmically solvable.