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