v0.3.13

MiniZinc v0.3.13

Diff since v0.3.12

Merged pull requests:

• Move test/examples into test/runtests.jl (#86) (@odow)
• Add comment to n-queens test (#87) (@odow)
• Fix incorrect number type in test_highs_optimization (#89) (@odow)
• Fix tests to allow N=52 or N=92 for N-Queens (#91) (@odow)
• Add badges to README (#92) (@odow)
• Add instructions for CP-SAT in README (#93) (@blegat)
• Remove DOCUMENTER_KEY from TagBot.yml (#94) (@odow)
• Clarify ORTools_jll requires Linux (#97) (@odow)
• Add support for [email protected] (#99) (@odow)

Closed issues:

• [upstream] wrong number of solutions (#84)
• Error using MiniZinc.jl on WSL2 (#88)
• Finding multiple feasible solutions using MiniZinc/HiGHS fails (#95)
• Error with ORTools example (#96)
• "highs" solver doesn't seem to be installed by default (#98)