Loading twd_solver.py +1 −1 Changes for twd_solver.py: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -32,7 +32,7 @@ def solve(params): problem = params['problem'] timeout = params['timeout'] seed = params.get('seed', int(time.time)) seed = params.get('seed', int(time.time())) basedir = os.path.abspath(os.path.dirname(__file__)) Loading Loading
twd_solver.py +1 −1 Changes for twd_solver.py: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -32,7 +32,7 @@ def solve(params): problem = params['problem'] timeout = params['timeout'] seed = params.get('seed', int(time.time)) seed = params.get('seed', int(time.time())) basedir = os.path.abspath(os.path.dirname(__file__)) Loading