"solver" - key terms from Wikipedia

field solver
ik solver
partial halting solver	recognizer
programming solver
solver
solver	must
sudoku solver
super solver