Next: too-spfz, Previous: too-sicstus, Up: Command Reference Pages [Contents][Index]
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).