CONSTRAINTS_HYPERGRAPH