Văn bản này: A CSP solution to the trains problem