Add multithreading support for sat solver.