C++ library for creating and manipulating decision diagrams. - View it on GitHub