Repository navigation

v0.3.19

github-actions released this 25 Oct 20:25

· 6 commits to master since this release

06df334

MiniZinc v0.3.19

Diff since v0.3.18

Merged pull requests:

Fix solution limit status (#114) (@sandyspiers)
Save all intermediate solutions (#115) (@sandyspiers)
Pass flags using MiniZinc.CmdFlags() (#118) (@sandyspiers)
Prep for v0.3.19 (#119) (@odow)

Contributors

odow and sandyspiers

Assets 2