C++ implementation of greedy SetCover solver