% RUNS ON flatzinc
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon
% RUNS ON fzn_lazyfd_canon
% RUNS ON fzn_lp_canon

var bool: x1 :: output_var;
var 0..100: x2 :: output_var;
constraint bool2int(false, 0);
constraint bool2int(true, 1);
constraint bool2int(x1, x2);
solve satisfy;