% RUNS ON flatzinc
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon

var 0..3: x1 :: output_var;
var bool: x2 :: output_var;
var bool: x3 :: output_var;
var bool: x4 :: output_var;
constraint array_var_bool_element(2, [true, false], false);
constraint array_var_bool_element(x1, [x2, x3], x4);
solve satisfy;