Moi v0.10

[Wikunia]

Some weird bugs still appear when having double negation with xor.
As an example @constraint(m, !(!(sum(x) > 3) ⊻ (sum(x) >= 2))) this currently fails to produce the right results

[Wikunia]

@hakank do you mind testing this on your problems before I merge it to master?
Thanks in advance!

[codecov]

Codecov Report

Merging #285 (8c0b68b) into master (170dbe4) will decrease coverage by 0.01%.
The diff coverage is 95.51%.

@@            Coverage Diff             @@
##           master     #285      +/-   ##
==========================================
- Coverage   97.57%   97.56%   -0.02%     
==========================================
  Files          54       54              
  Lines        4545     4554       +9     
==========================================
+ Hits         4435     4443       +8     
- Misses        110      111       +1     

Impacted Files	Coverage Δ
src/ConstraintSolver.jl	98.52% <ø> (ø)
src/constraints/indicator.jl	100.00% <ø> (ø)
src/constraints/linear_constraints.jl	97.35% <ø> (ø)
src/constraints/reified.jl	100.00% <ø> (ø)
src/MOI_wrapper/Bridges/strictly_greater_than.jl	75.00% <50.00%> (ø)
src/MOI_wrapper/MOI_wrapper.jl	95.00% <60.00%> (ø)
src/util.jl	96.37% <70.00%> (ø)
src/MOI_wrapper/util.jl	99.26% <97.22%> (-0.74%)	⬇️
src/MOI_wrapper/Bridges/bool.jl	100.00% <100.00%> (ø)
src/MOI_wrapper/Bridges/complement.jl	97.22% <100.00%> (ø)
... and 14 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 170dbe4...8c0b68b. Read the comment docs.

[hakank]

I've just tested all my 119 models with this branch and found no new issue.

[Wikunia]

Thanks for testing :)