Embedding perfect matching into Assoc_n

Given a graph, the perfect matching constraints assert that each node has exactly one incident selected edge.

Click an edge to select it. Shaded e are set to 1, unshaded e are set to 0.