Description
It would be helpful to add a function to the public interface that maps a solution vector from the original problem formulation to the reduced (presolved) problem space.
Use Case / Motivation
This feature is essential for supporting warm starts. When a user provides an initial guess (warm start) based on the original problem, the solver currently needs a way to translate that guess into the reduced space used internally. Without this mapping, users cannot effectively warm-start the solver if presolve is enabled.