Ehmes, S., & Kratz, M. (2025). Graph-Based (M)ILP Problem Specification Tool (Version 1.5.0) [Computer software]. https://github.com/Echtzeitsysteme/gips