optimization/optimization_result library