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)

v0.3.3

MiniZinc v0.3.3

Diff since v0.3.2

Merged pull requests:

• fix glitch in test (#44) (@zengjian-hu-rai)
• return MOI.TIME_LIMIT when the solver times out (#46) (@zengjian-hu-rai)
• Prep for v0.3.3 (#47) (@odow)