Комментарий
Constraint-based - это правильно. Особенно в высокоуровневой работе, со спецификациями. Constraint'ы ближе к человеческиму мышлению в таких случаях: хочу чтобы было так-то и так-то, но при этом не нарушались такие ограничения.
Я с помощью констрейнтов логические головоломки иногда решаю, типа судоку. Самому лень варианты перебирать бывает, дык я быстренько запрограммирую ограничения и логику поиска на Питоне
Ну и в задачах по серьезнее, конечно тоже использую, типа тестирования. Тут можно несколько сфер применения ограничений придумать: генерация тестов на основе спецификаций, планирование (скедъюлинг тест кейсов), достижение нужного тестового покрытия (анализ кода и т.д.). Первое удалось осуществить, планирование оказалось не актуальным для моих задач (проще тупо все тесты прогнать), а вот с "покрытием" (test coverage) пока не сложилось поиграться.