[WIP] add configurations to deactivate propagations of CP propagators

[AllenZzw]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 63.35227% with 129 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/fzn-huub/src/lib.rs	70.27%	24 Missing and 9 partials ⚠️
crates/huub/src/solver/solving_context.rs	30.23%	30 Missing ⚠️
crates/huub/src/constraints/int_array_minimum.rs	30.00%	14 Missing ⚠️
crates/huub/src/constraints/int_linear.rs	57.57%	14 Missing ⚠️
crates/huub/src/solver/queue.rs	53.84%	12 Missing ⚠️
crates/huub/src/constraints/int_array_element.rs	50.00%	11 Missing ⚠️
crates/huub/src/solver/engine.rs	70.27%	11 Missing ⚠️
crates/huub/src/reformulate.rs	95.45%	2 Missing ⚠️
crates/huub/src/solver.rs	80.00%	2 Missing ⚠️

Files with missing lines	Coverage Δ
crates/fzn-huub/src/main.rs	0.00% <ø> (ø)
crates/huub/src/actions.rs	82.00% <ø> (ø)
crates/huub/src/lib.rs	67.88% <100.00%> (+0.16%)	⬆️
crates/huub/src/reformulate.rs	87.81% <95.45%> (+1.43%)	⬆️
crates/huub/src/solver.rs	67.87% <80.00%> (+0.21%)	⬆️
crates/huub/src/constraints/int_array_element.rs	89.41% <50.00%> (ø)
crates/huub/src/solver/engine.rs	78.97% <70.27%> (-1.03%)	⬇️
crates/huub/src/solver/queue.rs	79.31% <53.84%> (-20.69%)	⬇️
crates/huub/src/constraints/int_array_minimum.rs	86.20% <30.00%> (-9.22%)	⬇️
crates/huub/src/constraints/int_linear.rs	85.07% <57.57%> (-2.23%)	⬇️
... and 2 more

🚀 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 #127 will not alter performance

_{Comparing AllenZzw:feat/deactivate_propagations (4f4f9be) with develop (02d3bf5)}

Summary

✅ 14 untouched benchmarks