trains

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