(formula, environment=None)
return aiger.convert(formula)
Converts the given formula in AIG
Converts the given formula in AIG
Converts the given formula in AIG
def aig(formula, environment=None):
    """Converts the given formula in AIG"""
    aiger = AIGer(environment)
    return aiger.convert(formula)
def aig ( formula , environment = None ) : aiger = AIGer ( environment ) return aiger . convert ( formula )