Exemplo n.º 1
0
 def pop(self, levels=1):
     for _ in xrange(levels):
         picosat.picosat_pop(self.pico)
Exemplo n.º 2
0
 def pop(self, levels=1):
     for _ in xrange(levels):
         picosat.picosat_pop(self.pico)
Exemplo n.º 3
0
 def pop(self):
     picosat.picosat_pop(self.p)