We use the list of strings so often, we might as well give it a global variable.
This will make it easier to add new solvers and also cleans up some pending issues.