Main internal routine for enumeration
Arguments
- S
A matrix whose columns are the elements to be covered, and whose rows are the available subsets from which to build the covers
- G
The adjacency matrix specifying the DAG
Value
A list of all minimally consistent covers