cyclic

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