(name=None, logic=None, unsat_cores_mode="all", **kwargs)
return get_env().factory.UnsatCoreSolver(name=name,
                                             logic=logic,
                                             unsat_cores_mode=unsat_cores_mode,
                                             **kwargs)
Returns a solver supporting unsat core extraction.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :param unsat_cores_mode: Specify the unsat cores mode.
    :returns: A solver supporting unsat core extraction.
    :rtype: Solver
Returns a solver supporting unsat core extraction.
Returns a solver supporting unsat core extraction .
def UnsatCoreSolver(name=None, logic=None, unsat_cores_mode="all", **kwargs):
    """Returns a solver supporting unsat core extraction.

    :param name: Specify the name of the solver
    :param logic: Specify the logic that is going to be used.
    :param unsat_cores_mode: Specify the unsat cores mode.
    :returns: A solver supporting unsat core extraction.
    :rtype: Solver
    """
    return get_env().factory.UnsatCoreSolver(name=name,
                                             logic=logic,
                                             unsat_cores_mode=unsat_cores_mode,
                                             **kwargs)
def UnsatCoreSolver ( name = None , logic = None , unsat_cores_mode = "all" , * * kwargs ) : return get_env ( ) . factory . UnsatCoreSolver ( name = name , logic = logic , unsat_cores_mode = unsat_cores_mode , * * kwargs )