Beispiel #1
0
 def true(self):
     return smt_helper.true()
Beispiel #2
0
 def true(self):
     return smt_helper.true()
Beispiel #3
0
 def get_true(self):
     return smt_helper.true()