[gambit-list] Multiprocessor support