C++ implementation of graphplan