software/mza/tests/unit/evaluation/minizinc/regression/test_bug66.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug66.mzn

at develop 160 B view raw

1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4var set of 1..1: s1;
5var set of 1..3: s2;
6
7constraint s2 = s1 union if 1 in s1 then {2} else {3} endif;
8
9solve satisfy;