Commit c40022ac authored by Kento HASEGAWA's avatar Kento HASEGAWA
Browse files

Fix bugs

parent d6cc21b2

twd_solver.py

+4 −1
Changes for twd_solver.py: 4 added lines, 1 removed line.
Original line number Diff line number Diff line 
import argparse

import os

import subprocess



if __name__ == '__main__':

    import solver

else:

    from solvers.twd import solver



proc = None
@@ -68,7 +72,6 @@ def solve(params): 
        # print(errs)



    solution = ''

    print(returncode)

    if returncode == 10:    # 10 when SAT

        status = 'done'

        if not stop_flag: