this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6%% This is to test half-reification
7%% Gleb Belov, 2019
8
9var 0..10: x;
10var 0..11: y;
11
12var bool: b1;
13var bool: b2;
14
15constraint b1 -> x<=4;
16constraint b2 -> y>=7;
17
18constraint b1 \/ b2;
19
20solve minimize x+b1-y;