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


10.55.1 Prerequisites

Let $MINIZINC_DIR denote the directory containing the MiniZinc distribution.

To ensure the SICStus tools can find the MiniZinc tools they need, make sure that $MINIZINC_DIR/bin is included in the environment variable PATH.

To tell the MiniZinc command-line tool minizinc to use SICStus, add the library/zinc/ folder to the “Extra solver search paths” setting in the MiniZincIDE GUI application preferences, and then just use the name ‘sicstus’ as the --solver argument. This is what is used in most of the examples below. For example

minizinc --solver sicstus

Send feedback on this subject.