def init():
if not getattr(init, 'initialized', False):
yicespy.yices_init()
init.initialized = True
def init():
if not getattr(init, 'initialized', False):
yicespy.yices_init()
init.initialized = True
def init():
if not getattr(init, 'initialized', False):
yicespy.yices_init()
init.initialized = True
def init():
if not getattr(init, 'initialized', False):
yicespy.yices_init()
init.initialized = True