Decomposes a set of variables into cliques and separators. - View it on GitHub