Module solver_interfaces