C++11 implementation of the Professor-game solver