facebook_puzzle

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