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

this repo has no description

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

at develop 140 B view raw

1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4int: X = 10;
5var int: x = X;
6var int: y;
7constraint x != y;
8solve satisfy;
9output ["\(x) \(y)\n"];