API reference

Classes to construct the JDD

Classes to perform the GCM algorithm

Classes for clique covers

Types