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 …