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)
.