Exemplo n.º 1
0
def reset_yices():
    yicespy.yices_reset()
Exemplo n.º 2
0
def reset_yices():
    yicespy.yices_reset()