Fix support for non-continuous domains

[Dekker1]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 70.58824% with 80 lines in your changes are missing coverage. Please review.

Project coverage is 59.70%. Comparing base (221ad2f) to head (fb33721).

Files	Patch %	Lines
crates/huub/src/propagator/reason.rs	32.00%	17 Missing ⚠️
crates/fzn-huub/src/main.rs	0.00%	13 Missing ⚠️
crates/huub/src/propagator/propagation_action.rs	58.62%	12 Missing ⚠️
crates/huub/src/solver/view.rs	23.07%	10 Missing ⚠️
crates/huub/src/solver/value.rs	0.00%	5 Missing ⚠️
crates/huub/src/model.rs	60.00%	4 Missing ⚠️
crates/huub/src/model/bool.rs	33.33%	4 Missing ⚠️
crates/fzn-huub/src/tracing.rs	0.00%	3 Missing ⚠️
crates/huub/src/model/int.rs	0.00%	3 Missing ⚠️
crates/huub/src/solver/engine/int_var.rs	97.41%	3 Missing ⚠️
... and 4 more

Additional details and impacted files

@@             Coverage Diff             @@
##           develop      #11      +/-   ##
===========================================
+ Coverage    54.72%   59.70%   +4.97%     
===========================================
  Files           23       23              
  Lines         1301     1365      +64     
===========================================
+ Hits           712      815     +103     
+ Misses         589      550      -39     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.