Next: too-spfz, Previous: too-sicstus, Up: Command Reference Pages
% 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).
lib-zinc.