cyclic-pi

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