Skip to content

v0.3.8
Compare
Choose a tag to compare
@github-actions github-actions released this 08 Feb 01:46
· 15 commits to master since this release
v0.3.8
aead8fc
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.8

Diff since v0.3.7

Merged pull requests:

  • Fix TerminationStatus when SolutionLimit is 1 (#62) (@odow)
  • Prep for v0.3.8 (#63) (@odow)
  • Remove deprecated do-block usage (#64) (@odow)
  • Fix duplicated test names (#65) (@odow)

Closed issues:

  • When SolutionLimit is 1 but there exist multiple solutions, status should be SOLUTION_LIMIT, not OPTIMAL (#61)

Contributors

odow
Assets 2
Loading