https://mingredbestcheapprice.blogspot.com/2023/11/minizinc-installed-but-python-think-not.html