Next: , Previous: , Up: Command Reference Pages   [Contents][Index]


13.2 mzn-sicstus — Shortcut for MiniZinc with SICStus back-end

Synopsis

% mzn-sicstus [options] mznfile

Description

This tool is a shortcut for invoking minizinc(1) with SICStus as the FlatZinc interpreter and with the appropriate global constraint definitions.

Options

See minizinc(1).

See Also

lib-zinc.


Send feedback on this subject.