С помощью проработки выполнимости можно найти решение в диапазоне выбранных размеров, удовлетворяющее набору ограничений. Если поиск завершен успешно, выдается сообщение о существовании решения. Ограничения определяются с помощью одного или нескольких параметров констр. элемента анализа.