A.Edem, а есть вариант на чем-то проверять задачи такого типа?
Такой программки наверное и нет вообще. Зато у меня есть один знакомый, который иногда, если есть настроение и заинтересованность, сам пишет программы под некоторые загадки (так было с одной из моих шахматных задач, и написал он её тогда довольно-таки быстро). Думаю, если бы он захотел, то и для этого случая написал бы.
Кстати, спешу Вас поздравить с решением и заодно огорчить! Так как есть ещё одна дуаль - авторская версия - от которой никак не избавиться, к сожалению... Можно, конечно, ещё внести коррективы в условия, а именно: "коням, стоящим на вертикали b, нельзя ходить правее этой вертикали". Тогда Ваша версия снова аннулируется, и останется только авторская. Однако, это получается чудовищное растягивание условий. Красота задачи погибла бесповоротно