Skip to content

Bumped mzn-problems version used in the CI to v4. Constraint set_in_r…

62b26f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

Bumped mzn-problems version used in the CI to v4. Constraint set_in_r…
62b26f5
Select commit
Loading
Failed to load commit list.