diff --git a/visualizer/visualizer/solver.py b/visualizer/visualizer/solver.py index b32ecf2..17ca947 100755 --- a/visualizer/visualizer/solver.py +++ b/visualizer/visualizer/solver.py @@ -56,7 +56,10 @@ def __init__(self): #clingo interface self._control = Control() #time for timeout - self._solve_start = time.clock() + try: + self._solve_start = time.clock() + except: + self._solve_start = time.time() #saves the raw sended data self._raw_data = ''