Make solver multi-threaded.