GitHub repository: potassco/train-scheduling-with-hybrid-asp
Primary language: Python
Created: 2019-08-07T10:34:19Z
Description: 🚂 Benchmark instances and encoding for the paper "Train Scheduling With Hybrid Answer Set Programming"