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

this repo has no description

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

at develop 133 B view raw

1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4predicate foo(var int: x); 
5var int: x;
6var bool: b;
7constraint b <-> foo(x);
8solve satisfy;