Merge remote-tracking branch 'origin/adc2019-system'

6773ea6a · tawada · 02d6be8e · 602a3e66 · 6773ea6a
Commit 6773ea6a authored Aug 27, 2019 by tawada
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

twd_solver.py twd_solver.py +1 -1

No files found.
--- a/twd_solver.py
+++ b/twd_solver.py
@@ -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__))