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