OptimizerArgumentParser
Bases: Object
Command Line arguments parser for Lean Optimizer
parse_arguments(args: List[str]) -> Dictionary[str, Object]
Parse and construct the args