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)

v0.3.12

MiniZinc v0.3.12

Diff since v0.3.11

Merged pull requests:

• Fix running the tests from other locations (#81) (@blegat)
• Allow using MiniZincSet from JuMP (#82) (@blegat)
• Prep for v0.3.12 (#83) (@odow)

Closed issues:

• No solver with tag highs found (#79)
• How do I query solutions returned? (#80)

v0.3.11

MiniZinc v0.3.11

Diff since v0.3.10

Merged pull requests:

• Update to [email protected] (#74) (@odow)
• Update to [email protected] (#75) (@odow)
• Fix writing integer variables with float bounds (#78) (@odow)

Closed issues:

• MiniZinc example in the docs does not work. (#77)

v0.3.10

MiniZinc v0.3.10

Diff since v0.3.9

Merged pull requests:

• Fix assumption about variable ordering in tests (#69) (@odow)
• Document MOI.SolutionLimit (#70) (@odow)
• Fix unary +, -, * (#72) (@odow)
• Prep for v0.3.10 (#73) (@odow)

Closed issues:

• Write model with basic boolean constraints (#71)

v0.3.9

MiniZinc v0.3.9

Diff since v0.3.8

Merged pull requests:

• Update versions in GitHub actions (#66) (@odow)
• Fix writing integer variables with float bounds (#68) (@odow)

Closed issues:

• InexactError: trunc(Int64, -Inf) in _variable_info (#67)

v0.3.8

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)

v0.3.7

MiniZinc v0.3.7

Diff since v0.3.6

Merged pull requests:

• Add support for MOI.EqualTo{Bool} (#59) (@odow)
• Prep for v0.3.7 (#60) (@odow)

Closed issues:

• CP-SAT solver (#57)
• Support EqualTo{Bool} (#58)

v0.3.6

MiniZinc v0.3.6

Diff since v0.3.5

Merged pull requests:

• Trap non-zero process return values in _run_minizinc (#55) (@odow)
• Prep for v0.3.6 (#56) (@odow)

Closed issues:

• Handling numerical Issues in model (#54)

v0.3.5

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)

v0.3.4

MiniZinc v0.3.4

Diff since v0.3.3

Merged pull requests:

• Update to [email protected] (#49) (@odow)

Closed issues:

• Tests fail with pipeline_error (#48)