My concern here is that we'll update `all_solvers` and then forget to update the list of enabled solvers. Would it be better to define `msvc_solvers` and `mingw_solvers` above, in the same place we define `all_solvers`?

Also, it would be nice if we documented why certain solvers are disabled.