CGL: A domain specific language for constraint generation

Integer linear programming solvers are used to solve a wide variety of problems emerging in diverse domains. However, automatically generating the integer linear equations that are used as input for the solvers remains a challenging task. This paper proposes a domain specific language called CGL that can be used to describe the equations in a concise manner. In addition to the proposed language implementation, the syntax and semantics of CGL are formally given. The paper demonstrates the usefulness of CGL using a motivating example.