GIPS
-
G
raph-Based (M)
I
LP
P
roblem
S
pecification Tool
GIPS
is a tool to built tools that automatically derive (M)ILP problems from given graph-based specifications.
News
Getting Started
Development
Download
Publications
Contact
Development Team
GIPS
is developed at the
Real-Time Systems Lab, TU Darmstadt
(TUDa). Feel free to
contact us
.
Current Developers
Sebastian Ehmes
Maximilian Kratz