search

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
18 stars 4 forks source link

Upgrade to MOI 1.21.0 and switch to SolutionLimit #52

Closed zengjian-hu-rai closed 1 year ago

zengjian-hu-rai commented 1 year ago

Replace all "num_solutions" by the new MOI.SolutionLimit

Closes #45

codecov[bot] commented 1 year ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (73c479a) 97.16% compared to head (4ff1cb8) 97.20%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #52 +/- ## ========================================== + Coverage 97.16% 97.20% +0.03% ========================================== Files 3 3 Lines 459 465 +6 ========================================== + Hits 446 452 +6 Misses 13 13 ``` | [Files](https://app.codecov.io/gh/jump-dev/MiniZinc.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/optimize.jl](https://app.codecov.io/gh/jump-dev/MiniZinc.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL29wdGltaXplLmps) | `92.61% <100.00%> (+0.30%)` | :arrow_up: |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

odow commented 1 year ago

We also need to change the compat bounds in Project.toml