Next: , Up: lib-zinc   [Contents][Index]


10.50.1 Prerequisites

Let $MINIZINC_DIR denote the directory containing the MiniZinc distribution.

To add SICStus Prolog as a MiniZinc and FlatZinc solver, two additions to $MINIZINC_DIR are required:

Finally, make sure that $MINIZINC_DIR/bin is included in the environment variable PATH.


Send feedback on this subject.