Searching for solvers