Circuit propagator

[ed-lam]

Add simple checking propagator for circuit constraint.

[codecov]

Codecov Report

❌ Patch coverage is 90.47619% with 16 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/huub/src/flatzinc.rs	7.14%	13 Missing ⚠️
crates/huub/src/constraints/circuit.rs	97.81%	0 Missing and 3 partials ⚠️

Files with missing lines	Coverage Δ
crates/huub/src/constraints.rs	56.92% <ø> (ø)
crates/huub/src/lib.rs	70.65% <100.00%> (+0.67%)	⬆️
crates/huub/src/reformulate.rs	84.33% <100.00%> (+3.73%)	⬆️
crates/huub/src/constraints/circuit.rs	97.81% <97.81%> (ø)
crates/huub/src/flatzinc.rs	52.65% <7.14%> (-0.50%)	⬇️

... 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 #218 will not alter performance

_{Comparing ed-lam:circuit (ee2e25c) with develop (5f97188)}

Summary

✅ 21 untouched benchmarks

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}