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

var 1..3: x1 :: output_var;
var 0..7: x2 :: output_var;
var 1..14: x3 :: output_var;
var bool: x4 :: output_var;
constraint int_lin_le_reif([], [], 0, true);
constraint int_lin_le_reif([], [], 42, true);
constraint int_lin_le_reif([], [], -42, false);
constraint int_lin_le_reif([1, 2, 3], [1, 2, 3], 100, true);
constraint int_lin_le_reif([1, 2, 3], [1, 2, 3], 14, true);
constraint int_lin_le_reif([1, 2, 3], [1, 2, 3], 0, false);
constraint int_lin_le_reif([2, 3, -4], [x1, x2, x3], 0, x4);
solve satisfy;