(name=None, logic=None, **kwargs)
return get_env().factory.Solver(name=name,
                                    logic=logic,
                                    **kwargs)
Returns a solver.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :rtype: Solver
Returns a solver.
Returns a solver .
def Solver(name=None, logic=None, **kwargs):
    """Returns a solver.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :rtype: Solver
    """
    return get_env().factory.Solver(name=name,
                                    logic=logic,
                                    **kwargs)
def Solver ( name = None , logic = None , * * kwargs ) : return get_env ( ) . factory . Solver ( name = name , logic = logic , * * kwargs )