🚄 Benchmark scripts, encodings and instances for train scheduling with clingo-dl - View it on GitHub