Update to pindakaas with generic propagator interface

[Dekker1]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 84.21053% with 21 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/huub/src/solver.rs	84.31%	8 Missing ⚠️
crates/huub/src/solver/view.rs	0.00%	5 Missing ⚠️
crates/huub/src/model/bool.rs	71.42%	1 Missing and 3 partials ⚠️
crates/huub/src/model.rs	78.57%	3 Missing ⚠️
crates/fzn-huub/src/lib.rs	66.66%	0 Missing and 1 partial ⚠️

Files with missing lines	Coverage Δ
crates/huub/src/model/branching.rs	81.81% <100.00%> (-0.80%)	⬇️
crates/huub/src/model/constraint.rs	45.53% <100.00%> (-0.12%)	⬇️
crates/huub/src/model/flatzinc.rs	45.12% <ø> (ø)
crates/huub/src/model/int.rs	46.05% <100.00%> (-0.18%)	⬇️
crates/huub/src/model/reformulate.rs	75.26% <100.00%> (-0.78%)	⬇️
crates/huub/src/propagator/all_different_int.rs	95.66% <100.00%> (-0.10%)	⬇️
...rates/huub/src/propagator/array_var_int_element.rs	86.50% <100.00%> (ø)
crates/huub/src/propagator/disjunctive_strict.rs	98.45% <100.00%> (ø)
crates/huub/src/propagator/int_abs.rs	90.78% <100.00%> (ø)
crates/huub/src/propagator/int_div.rs	94.57% <100.00%> (ø)
... and 17 more

[codspeed-hq]

CodSpeed Performance Report

Merging #134 will not alter performance

_{Comparing Dekker1:feat/gen_pindakaas (059f7f4) with develop (1d3f796)}

Summary

✅ 13 untouched benchmarks