Initial implementation of the backtracking solver.