External solvers