Iteracja jest rzeczą ludzką, rekursja boską
Tags: ograniczenia arytmetyczne, ograniczenia liniowe, reifikacja ograniczenia
