Compress pairs variables related by linear equality

Feature request:

If a constraint of the form a x_1 + b x_2 = c,
remove the variable x_2 be substituting x_2 = c/a - b/a x_2.
Translate solutions back to full variable set afterwards.

These kinds of constraints show up in a number of application in problems (especially linear problems), as it is often assumed the impact of the redundant variables on the speed of solution will be negligible.

Revisa los puntos de entrada del preprocesamiento y del manejo de soluciones para determinar cómo se representan las restricciones de igualdad lineal y los conjuntos completos de variables. Define el comportamiento para eliminar una variable de a*x1 + b*x2 = c, incluyendo la traducción de las soluciones de vuelta al conjunto completo de variables, y añade cobertura para la transformación y sus casos límite.

Escrito por el modelo de indexación a partir del texto del issue.