# Functions
ComputeConnectedComponents returns the strongly connected components of a constraint graph.
GenerateConstraintGraph generates a constraint graph for the given formulas.
GenerateGraphicalFormulaGraph generates a graphical representation of the graph with the configuration of the generator.
HypergraphFromClauses generates a hyper-graph from a CNF given as a list of clauses.
HypergraphFromCNF generates a hyper-graph from a CNF formula.
NewFormulaGraph generates a new empty formula graph.
NewHypergraph generates a new empty hyper-graph.
NewHypergraphEdge returns a new edge connecting the given nodes.
NewHypergraphNode returns a new node in the given graph with the given variable as content.
SplitFormulasByComponent splits a given list of formulas with respect to a given list of components, usually from the constraint graph of the given formulas.
# Structs
A FormulaGraph represents a graph with nodes holding formulas.
A Hypergraph holds its nodes and edges.
A HypergraphEdge connects nodes in a hyper-graph.
A HypergraphNode represents a node holding a variable in a hyper-graph.