Detect pseudo-Boolean constraint to simplify them if possible

[Dekker1]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 37.77778% with 56 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/huub/src/constraints/int_linear.rs	18.84%	56 Missing ⚠️

Files with missing lines	Coverage Δ
crates/fzn-huub/src/lib.rs	57.43% <100.00%> (+0.38%)	⬆️
crates/huub/src/actions.rs	82.00% <ø> (ø)
crates/huub/src/lib.rs	68.44% <100.00%> (+0.10%)	⬆️
crates/huub/src/reformulate.rs	86.83% <100.00%> (+0.44%)	⬆️
crates/huub/src/solver.rs	67.88% <100.00%> (+0.22%)	⬆️
crates/huub/src/solver/engine.rs	80.14% <100.00%> (+0.14%)	⬆️
crates/huub/src/constraints/int_linear.rs	80.54% <18.84%> (-6.76%)	⬇️

🚀 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 #163 will degrade performances by 7.27%

_{Comparing Dekker1:feat/detect_pb (be40788) with develop (906daee)}

Summary

❌ 1 regressions
✅ 13 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
❌	satisfaction[amaze3_2012_03_19]	705.9 ms	761.3 ms	-7.27%