анализ ограничений

Analysis of constraints