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.