optimization/optimization_resolver library