C++ library and utilities for General Game Playing(GGP)