Constraint hypergraph

From HandWiki