We discuss an integer linear programming modeling system based on relational algebra. In this system, all modeling related activities, such as model formulation, model instantiation, and model and ...