Skip to content

v0.3.20

Latest

Choose a tag to compare

@github-actions github-actions released this 27 Oct 01:10
71f1b0a

MiniZinc v0.3.20

Diff since v0.3.19

Merged pull requests: