(*args)
return get_env().formula_manager.Max(*args)
Maximum over a set of real or integer terms
Maximum over a set of real or integer terms
Maximum over a set of real or integer terms
def Max(*args):
    """Maximum over a set of real or integer terms"""
    return get_env().formula_manager.Max(*args)
def Max ( * args ) : return get_env ( ) . formula_manager . Max ( * args )