GitHub repository: potassco/train-scheduling-with-clingo-dl
Primary language: Python
Created: 2019-02-05T13:00:29Z
Description: Benchmark scripts, encodings and instances for train scheduling with clingo-dl