Без заголовка

Вы правы, конечно. Я сейчас нервно реагирую на слова Reasoner/Solver и Optimizator, внимательно смотрим на текущий бум со словами Constraints, и стараемся быть к этому всему поближе. Ибо не хочется на обочине прогресса остаться, это ведь легко.