I count backtracking as mechanical; but I was also using it in a perhaps overly-broad sense, which includes that solver.