libsdd is a C++11 library to handle Hierarchical Set Decision Diagrams [1].
[1] Couvreur JM., Thierry-Mieg Y. (2005) Hierarchical Decision Diagrams to Exploit Model Structure. In: Wang F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg
It's a header-only library, you just need to set the include directory path.