Add support for solver to config file.
Make solving synchronized.