Repository navigation

v0.3.18

github-actions released this 19 Oct 08:18

· 10 commits to master since this release

bed50ee

MiniZinc v0.3.18

Diff since v0.3.17

Merged pull requests:

Fix termination statuses (#111) (@sandyspiers)
Prep for v0.3.18 (#112) (@odow)
Fix use of sum(x; init = 0) (#113) (@odow)

Closed issues:

MiniZinc error: Memory violation detected (segmentation fault). (#103)

Contributors

odow and sandyspiers

Assets 2