Repository navigation

v0.3.16

github-actions released this 14 Aug 23:31

· 16 commits to master since this release

6cf4741

MiniZinc v0.3.16

Diff since v0.3.15

Merged pull requests:

Tee output for user logging (#105) (@sandyspiers)
Set the default of MOI.Silent to false (#106) (@odow)
Prep for v0.3.16 (#107) (@odow)

Contributors

odow and sandyspiers

Assets 2