Function opt_solution_ty 

pub fn opt_solution_ty() -> Expr

OptSolution : OptimizationProblem → String → Real The optimal solution value for a given instance.