(formula, solver_name=None, logic=None)
return env.factory.get_implicant(formula,
                                     solver_name=solver_name,
                                     logic=logic)
Returns a formula f_i such that Implies(f_i, formula) is valid or None
    if formula is unsatisfiable.

    if complete is set to true, all the variables appearing in the
    formula are forced to appear in f_i.
    :param formula: The target formula
    :param solver_name: Specify the name of the solver
    :param: logic: Specify the logic that is going to be used
    :returns: A formula f_i such that Implies(f_i, formula) is valid or None
              if formula is unsatisfiable.
    :rtype: FNode
Returns a formula f_i such that Implies(f_i, formula) is valid or None
    if formula is unsatisfiable.
Returns a formula f_i such that Implies ( f_i formula ) is valid or None if formula is unsatisfiable .
def get_implicant(formula, solver_name=None, logic=None):
    """Returns a formula f_i such that Implies(f_i, formula) is valid or None
    if formula is unsatisfiable.

    if complete is set to true, all the variables appearing in the
    formula are forced to appear in f_i.
    :param formula: The target formula
    :param solver_name: Specify the name of the solver
    :param: logic: Specify the logic that is going to be used
    :returns: A formula f_i such that Implies(f_i, formula) is valid or None
              if formula is unsatisfiable.
    :rtype: FNode
    """
    env = get_env()
    if formula not in env.formula_manager:
        warnings.warn("Warning: Contextualizing formula during get_model")
        formula = env.formula_manager.normalize(formula)

    return env.factory.get_implicant(formula,
                                     solver_name=solver_name,
                                     logic=logic)
def get_implicant ( formula , solver_name = None , logic = None ) : env = get_env ( ) if formula not in env . formula_manager : warnings . warn ( "Warning: Contextualizing formula during get_model" ) formula = env . formula_manager . normalize ( formula ) return env . factory . get_implicant ( formula , solver_name = solver_name , logic = logic )