сделал решалку детских задачек с числами

Типа SEND + MORE = MONEY

Решает в результате так же как человек - разматывает с простого конца, и в отличие от судоку не за один присест.
Получился такой достаточно универсальный способ.
Вообще у меня оформляется идея как сделать некотрый AI на основе задач линейного программирования.
В принципе это всеп укладывается в существующие солверы, но тут можно на это дело посмотреть с точки зрения AI.