droplast

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