Skip to content

v0.3.12

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 02 Sep 22:20
· 3 commits to master since this release
v0.3.12
5e9241b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

MiniZinc v0.3.12

Diff since v0.3.11

Merged pull requests:

  • Fix running the tests from other locations (#81) (@blegat)
  • Allow using MiniZincSet from JuMP (#82) (@blegat)
  • Prep for v0.3.12 (#83) (@odow)

Closed issues:

  • No solver with tag highs found (#79)
  • How do I query solutions returned? (#80)

Contributors

blegat and odow
Assets 2
Loading