示例#1
0
 def reset_assertions(self):
     yicespy.yices_reset_context(self.yices)
示例#2
0
文件： yices.py 项目： agriggio/pysmt 
 def reset_assertions(self):
     yicespy.yices_reset_context(self.yices)