GitHub repository: Echtzeitsysteme/gips
Primary language: Java
Description: Graph-Based (M)ILP Problem Specification Tool