Adding logical predicates to linear programmes

The authors introduce in the fields of formulating logical predicates in addition to linear programmes. The error prone process of developing linear constraints including binary variables (‘auxilliary formulations’) to accomplish this leads them to discuss the possibilities and capabilities of model generation. Based on Williams, the authors develop the formulae apparatus and discuss formulation and design problems for the development of the present model generator now being implemented.