mzn-sicstus — Shortcut for MiniZinc with SICStus back-end% mzn-sicstus [options] mznfile
This tool is a shortcut for invoking minizinc(1) with SICStus
as the FlatZinc interpreter and with the appropriate global constraint definitions.
See minizinc(1).