adjacent_to_red

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