make sure that unknown solver types are not accepted