Какой шахматной программой можно решать тренировочные задачи типа «перебей всех пешек конём» итд?

Question

[Дмитрий Земсков]

За что не возьмусь, везде ищется пат и маты в разных проявлениях, а нужно именно проверить корректность синтетических задач, на наличие\отсутствие решения....