diff --git a/twd_solver.py b/twd_solver.py index 810b7fd05a91768f85c81328220bd2621b2bc24d..a8aad0eb323888a0d229c30abd59f5caafdde136 100644 --- 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__))