🚂 Benchmark instances and encoding for the paper "Train Scheduling With Hybrid Answer Set Programming" - View it on GitHub