pub fn approx_algorithm_ty() -> Expr
ApproxAlgorithm : OptimizationProblem → Type An algorithm with a guaranteed approximation ratio.
ApproxAlgorithm : OptimizationProblem → Type