Решатель геометрических ограничений
Решатель геометрических ограничений, или вариационный геометрический решатель (англ. variational geometric solver), — это вычислительный модуль, на вход которого подается геометрическая задача в виде описания исходного положения геометрических элементов и набора логических и параметрических ограничений, наложенных на эти элементы, а на выходе получаются новые координаты элементов, удовлетворяющие наложенным ограничениям. Коммерческие решатели представляют собой библиотечные модули, в которых реализован набор алгоритмов для эффективного решения промышленных задач удовлетворения геометрических ограничений. Используя ряд эвристических методов декомпозиции, решатель способен в интерактивном режиме решать задачи с несколькими тысячами ограничений. Универсальный программный интерфейс решателя позволяет встроить его в любое приложение классов CAD, CAM и CAE для реализации в нем функциональности вариационного проектирования: эскизного черчения, проектирования деталей и сборок, анализа кинематики и т.п.