v0.3.5

github-actions released this 03 Nov 01:14

· 23 commits to master since this release

MiniZinc v0.3.5

Diff since v0.3.4

Merged pull requests:

Update reference to HiGHS in README.md (#51) (@pierre-haessig)
Upgrade to MOI 1.21.0 and switch to SolutionLimit (#52) (@zengjian-hu-rai)
Prep for v0.3.5 (#53) (@odow)

Closed issues:

Use new MOI SolutionLimit attribute (#45)

Contributors

pierre-haessig, odow, and zengjian-hu-rai

Assets 2