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

10.56.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, pass it the argument --solver with the path to the solver configuration file library/zinc/sicstus.msc in the SICStus installation. E.g. on Linux/macOS:

$ minizinc --solver '/usr/local/sicstus4.8.0/lib/sicstus-4.8.0/library/zinc/sicstus.msc'

On Windows:

> minizinc --solver "C:\Program Files\SICStus Prolog VC16 4.8.0\library\zinc\sicstus.msc'

Alternatively, you can 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.