exporting new solvers