find_duplicates

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