Ejemplo n.º 1
0
def init():
    if not getattr(init, 'initialized', False):
        yicespy.yices_init()
    init.initialized = True
Ejemplo n.º 2
0
def init():
    if not getattr(init, 'initialized', False):
        yicespy.yices_init()
    init.initialized = True