def pop(self, levels=1): for _ in xrange(levels): picosat.picosat_pop(self.pico)
def pop(self, levels=1): for _ in xrange(levels): picosat.picosat_pop(self.pico)
def pop(self): picosat.picosat_pop(self.p)
def pop(self, levels=1): for _ in xrange(levels): picosat.picosat_pop(self.pico)
def pop(self, levels=1): for _ in xrange(levels): picosat.picosat_pop(self.pico)
def pop(self): picosat.picosat_pop(self.p)