Next:
4.2.3 Bugs Fixed
, Up:
4.2.3 Changes
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
.
Release Notes
Table of Contents
Send feedback on this subject.