software/mza/tests/unit/evaluation/minizinc/regression/arg-reif-array-int.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / arg-reif-array-int.mzn

at develop 219 B view raw

 1% RUNS ON mzn20_fd
 2% RUNS ON mzn-fzn_fd
 3var 1..3: a;
 4
 5predicate test_pred(array[int] of 1..10: x, var int: y) = y = 3;
 6
 7constraint test_pred([1, 2, 4, 11], a) == false;
 8
 9solve satisfy;
10
11output ["a = ", show(a), ";\n"];