Open turtleizzy opened 2 years ago
It seems the solver works in single-threaded mode if executed from the command line, are there any parameters to set or tutorials to follow for parallelization?
It seems the solver works in single-threaded mode if executed from the command line, are there any parameters to set or tutorials to follow for parallelization?