https://keroseneheaterreview.blogspot.com/2024/01/minizinc-installed-but-python-think-not.html