Commit cc3172d3 authored by tawada's avatar tawada
Browse files

fix a bug

parent b8b1dfdd

solver.py

+0 −3
Changes for solver.py: 0 added lines, 3 removed lines.
Original line number Diff line number Diff line
@@ -544,9 +544,6 @@ def generate_sat(Q, WH=None, seed=0): 
                                            cnfs.append(cnf)

                                            cnf[f'b{b}_{j}_{i}'] = '-1'

                                            cnf[f'b{b2}_{j2}_{i2}'] = '-1'

                                            if (b,j,i,b2,j2,i2) == (1, 0, 0, 2,3,7):

                                                print(f'b{b}_{j}_{i}')

                                                print(f'b{b2}_{j2}_{i2}')

                                            break



    # block上にないlineは周囲2マスに接続