(name=None, logic=None)
return get_env().factory.QuantifierEliminator(name=name, logic=logic)
Returns a quantifier eliminator.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :returns: A quantifier eliminator with the specified
              name and logic
    :rtype: QuantifierEliminator
Returns a quantifier eliminator.
Returns a quantifier eliminator .
def QuantifierEliminator(name=None, logic=None):
    """Returns a quantifier eliminator.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :returns: A quantifier eliminator with the specified
              name and logic
    :rtype: QuantifierEliminator
    """
    return get_env().factory.QuantifierEliminator(name=name, logic=logic)
def QuantifierEliminator ( name = None , logic = None ) : return get_env ( ) . factory . QuantifierEliminator ( name = name , logic = logic )