예제 #1
0
 def push(self, levels=1):
     for _ in xrange(levels):
         picosat.picosat_push(self.pico)
예제 #2
0
파일: pico.py 프로젝트: diasalvatore/pysmt 
 def push(self, levels=1):
     for _ in xrange(levels):
         picosat.picosat_push(self.pico)
예제 #3
0
 def push(self):
     picosat.picosat_push(self.p)