Uses of Interface
exploration.interfaces.SolverFunctions