Interface Optimisation.Solver