В программировании с ограничением вы НИКОГДА не увеличиваете переменную.Это декларативная (не обязательная) парадигма, где вместо описания того, как вычислять решения (операции над значениями), вы просто публикуете ограничение, которое должно быть удовлетворено.x = x + 1 - нонсенс в программировании с ограничениями, приводящий к «нет решения».