4d26a735
 Pedro Roque
Increased recogni...
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
% RUNS ON flatzinc
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon
% RUNS ON fzn_lazyfd_canon
var 1..5: x1 :: output_var;
var 0..7: x2 :: output_var;
var 0..10: x3 :: output_var;
constraint int_lin_le([], [], 0);
constraint int_lin_le([], [], 42);
constraint int_lin_le([1, 2, 3], [1, 2, 3], 100);
constraint int_lin_le([1, 2, 3], [1, 2, 3], 14);
constraint int_lin_le([2, 3, -1], [x1, x2, x3], 0);
solve satisfy;
|