fix missing solvers

Fix #349