A generic C++ library for Hierarchical Set Decision Diagrams (SDD).