Text this: A CSP solution to the trains problem