The release enables half-reification in FlatZinc, fixes indeterminstic behavior for shared branching criteria, and fixes several aspects for general tracers. It is recommended to upgrade as soon as possible.
The release enables half-reification in FlatZinc, fixes indeterminstic behavior for shared branching criteria, and fixes several aspects for general tracers. It is recommended to upgrade as soon as possible.