https://camera-optical-zoom.blogspot.com/2023/01/minizinc-installed-but-python-think-not.html