Add the_solver_searcher package on the mac
Updating conf
Small improvements