Added default search paths for solvers