The ExecutorService used to run resolution steps (solve, solveAll, next, nextAll) off the calling thread.