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.

Überprüfe die Einstiegspunkte für die Vorverarbeitung und die Verarbeitung von Lösungen daraufhin, wie lineare Gleichheitsnebenbedingungen und vollständige Variablenmengen dargestellt werden. Lege das Verhalten für das Eliminieren einer Variable aus a*x1 + b*x2 = c fest, einschließlich der Rückübersetzung von Lösungen in die vollständige Variablenmenge, und füge Testabdeckung für die Transformation und ihre Randfälle hinzu.

Vom Indexierungsmodell aus dem Issue-Text verfasst.