Constraints

Перенос редактора и генератора ограничений из отдельной ветки