From cc3172d30d1b884001f5170ec7c08d3bd572702a Mon Sep 17 00:00:00 2001
From: tawada <tawada@togawa.cs.waseda.ac.jp>
Date: Mon, 26 Aug 2019 12:22:27 +0900
Subject: [PATCH] fix a bug

---
 solver.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/solver.py b/solver.py
index dcbe895..a36f052 100644
--- a/solver.py
+++ b/solver.py
@@ -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マスに接続
-- 
2.22.0