HDT C++ Library and Tools