“The Libratus system was written in C++ and was parallelized across approximately 1,000 CPUs during its 2017 competition.”