backsolver

Noun

 * 1) A program or algorithm that backsolves.