13.19.1 New Features

• ZINC:
  • - Now compatible with Version 1.6 of the G12 MiniZinc distribution.
  • - The options fzn_file(File), ozn_file(File), optimise(Bool), optimize(Bool) are new.
  • - Solutions are printed with solns2out.