Renamed to NorvigSolver to prepare for more solvers