asprilo
asprilo copied to clipboard
potassco
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
the `visualizer/solver.py` file uses the `time.clock()` function which is deprecated since python 3.8. so when I run viz-solver, I get the error: `File ".../visualizer/solver.py", line 59, in __init__ self._solve_start =...
I have an issue using the asprilo visualizer. I use the asprilo visualizer via anaconda on windows 10. Opening, using and saving instances wasn’t a problem but when I tried...
Hi! Initialize solver not able to connect to solver with the error ``` SAT QGestureManager::deliverEvent: could not find the target for gesture 2022-02-03 21:56:02.179 python3.9[2362:153086] TSM AdjustCapsLockLEDForKeyTransitionHandling - _ISSetPhysicalKeyboardCapsLockLED Inhibit...
handling AttributeError: module 'time' has no attribute 'clock' with time.time()
See https://github.com/potassco/asprilo-encodings/issues/7#issuecomment-988784917
When rightclicking the lower box appearing when using the order tool (Menustrip: Tools--> Orders) first the tool gets stuck to the curser as if dragging to a new position then...
