Failed to connect with solver

[pratik-ingle]

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
Try connection with solver
Failed to connect with solver 
Retrying in 2 sek
Start solver
Failed to connect with solver 
Retrying in 2 sek
Failed to connect with solver 
Retrying in 2 sek
Failed to connect with solver 
Retrying in 2 sek
Failed to connect with solver 
Retrying in 2 sek
Failed to connect with solver
Close connection to solver

while Fast solve return error as

Connect with solver
Connection with: ('127.0.0.1', 51726)
<cmd>: error: file could not be opened:
  ./encoding.lp

Traceback (most recent call last):
  File "/Users/pratik/opt/miniconda3/envs/visualizer/bin/viz-solver", line 10, in <module>
    sys.exit(main())
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 404, in main
    solver.run()
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 277, in run
    if self.receive(1.0) != 0:
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 157, in receive
    self.on_raw_data(self._raw_data)
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 185, in on_raw_data
    self.on_data(self._data)
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 222, in on_data
    if not self.solve().satisfiable:
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/visualizer/solver.py", line 288, in solve
    self._control.load(self._args.encoding)
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/clingo/control.py", line 363, in load
    _handle_error(_lib.clingo_control_load(self._rep, path.encode()))
  File "/Users/pratik/opt/miniconda3/envs/visualizer/lib/python3.9/site-packages/clingo/_internal.py", line 65, in _handle_error
    raise RuntimeError(msg)
RuntimeError: parsing failed
close solver
[Errno 57] Socket is not connected
Close connection to solver```