написал решалку судоку

Не перебором а сведениемк задаче линейного программирования.
У меня зреет идея сделать некую ИИ систему, имеющую унутре ЛП молотилку.
Судлку слишком скучный вариант - она реально решается за один присест ЛП солвера.
С другой стороны смотрю, в интернетах судоку все перебором решают, так что может идея и не такая уж и тривиальная.