Cha-Solver – Chess helpmate solver
chasolver.org