From c40022acbc086c98dcc7f52f41e93562401f5f9f Mon Sep 17 00:00:00 2001
From: Kento HASEGAWA <kento.hasegawa@togawa.cs.waseda.ac.jp>
Date: Tue, 13 Aug 2019 00:36:47 +0900
Subject: [PATCH] Fix bugs

---
 twd_solver.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/twd_solver.py b/twd_solver.py
index 47377e4..add2d9c 100644
--- a/twd_solver.py
+++ b/twd_solver.py
@@ -1,7 +1,11 @@
+import argparse
 import os
 import subprocess
 
-from solvers.twd import solver
+if __name__ == '__main__':
+    import solver
+else:
+    from solvers.twd import solver
 
 proc = None
 stop_flag = False
@@ -68,7 +72,6 @@ def solve(params):
         # print(errs)
 
     solution = ''
-    print(returncode)
     if returncode == 10:    # 10 when SAT
         status = 'done'
         if not stop_flag:
-- 
2.22.0