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

Fix a bug on stopping the solver

parent 4f553185

twd_solver.py

+2 −0
Changes for twd_solver.py: 2 added lines, 0 removed lines.
Original line number Diff line number Diff line
@@ -48,6 +48,8 @@ def solve(params): 
    if not stop_flag:

        solver.print_cnf(nodes, cnfs, filename=cnf_filepath)



    returncode = 0

    if not stop_flag:

        solution_filepath = f'{basedir}/a.txt'



        cmds = f'minisat {cnf_filepath} {solution_filepath}'.split()