You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When running with wait=False, I ran into a "NameError: name 'solver_proces' is not defined". The reason are typos in minizinc.py at lines 340 +341 (see
Hey,
thanks for creating this project!
When running with wait=False, I ran into a "NameError: name 'solver_proces' is not defined". The reason are typos in minizinc.py at lines 340 +341 (see
pymzn/pymzn/mzn/minizinc.py
Line 340 in a5de87f
Best,
-Matthias
The text was updated successfully, but these errors were encountered: