Domain consistent propagator for alldifferent constraint

[AllenZzw]

No description provided.

[codecov]

Codecov Report

❌ Patch coverage is 87.54448% with 70 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/huub/src/solver/engine.rs	23.80%	31 Missing and 1 partial ⚠️
crates/huub/src/constraints/int_all_different.rs	95.62%	12 Missing and 9 partials ⚠️
crates/huub/src/lib.rs	14.28%	5 Missing and 1 partial ⚠️
crates/huub/src/reformulate.rs	0.00%	3 Missing ⚠️
crates/huub/src/solver.rs	0.00%	3 Missing ⚠️
crates/huub/src/solver/solving_context.rs	72.72%	3 Missing ⚠️
crates/huub/src/flatzinc.rs	60.00%	2 Missing ⚠️

Files with missing lines	Coverage Δ
crates/huub/src/actions.rs	86.00% <ø> (ø)
crates/huub/src/solver/int_var.rs	91.63% <100.00%> (+0.09%)	⬆️
crates/huub/src/flatzinc.rs	53.35% <60.00%> (-0.01%)	⬇️
crates/huub/src/reformulate.rs	83.52% <0.00%> (-0.75%)	⬇️
crates/huub/src/solver.rs	67.39% <0.00%> (-0.27%)	⬇️
crates/huub/src/solver/solving_context.rs	83.12% <72.72%> (-0.37%)	⬇️
crates/huub/src/lib.rs	73.36% <14.28%> (-0.33%)	⬇️
crates/huub/src/constraints/int_all_different.rs	96.66% <95.62%> (-0.85%)	⬇️
crates/huub/src/solver/engine.rs	77.57% <23.80%> (-1.75%)	⬇️

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[codspeed-hq]

CodSpeed Performance Report

Merging #231 will not alter performance

_{Comparing AllenZzw:feat/alldiff_domain (ecf0a4d) with develop (7191e2c)}

Summary

✅ 21 untouched