undirected_edge

Popper encoding for the undirected_edge problem.
Back to my Popper page.