leap_year

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