Stitches_MiniZinc Installation Use the package manager pip to install python and numpy. pip install python pip install numpy If you are using windows, use the version 1.19.3 of numpy. pip install numpy==1.19.3 Minizinc must be an environment variable, modify the PATH.