feat(fzn): redefine set_in_reif for cases not handled by automatic rewriting#197

Merged

arbimo merged 3 commits intomasterfrom

feat/fzn-set-in-reif

Jan 16, 2026

Commits on Sep 9, 2025

Redefined flatzinc constraint set_in_reif for constant sets of the form a..b.

titorau
authored and
arbimo
committed
Redefined flatzinc constraint set_in_reif for constant sets of any form.

titorau
authored and
arbimo
committed
Bumped mzn-problems version used in the CI to v4. Constraint set_in_reif should now be tested.

titorau
authored and
arbimo
committed