Skip to content

v0.3.17

Choose a tag to compare

@github-actions github-actions released this 11 Oct 20:41
· 13 commits to master since this release
1293d68

MiniZinc v0.3.17

Diff since v0.3.16

Merged pull requests:

Closed issues:

  • libminizinc_jll? (#50)
  • Consider supporting some more of MiniZinc's Graph sets (#76)