this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: OPTIMAL_SOLUTION
5 solution: !Solution
6 x: 0
7 y: 11
8 b1: false
9 b2: true
10***/
11
12%% This is to test half-reification
13%% Gleb Belov, 2019
14
15var 0..10: x;
16var 0..11: y;
17
18var bool: b1;
19var bool: b2;
20
21constraint b1 -> x<=4;
22constraint b2 -> y>=7;
23
24constraint b1 \/ b2;
25
26solve minimize x+b1-y;