cnf.comment('no pools') for x,y in product(xs[:-1], ys[:-1]): cells = [f('base',x,y), f('base',x+1,y), f('base',x,y+1), f('base',x+1,y+1)] cnf.write([neg(cells)])