restructured files, and added preliminary c++ cover set solver. Still needs more testing