this repo has no description
dekker.one
1/***
2--- !Test
3type: compile
4solvers: [gecode]
5options:
6 -O0: true
7expected: !FlatZinc optimization_0.fzn
8--- !Test
9type: compile
10solvers: [gecode]
11options:
12 -O1: true
13expected: !FlatZinc optimization_1.fzn
14--- !Test
15type: compile
16solvers: [gecode]
17options:
18 -O2: true
19expected: !FlatZinc optimization_2.fzn
20--- !Test
21type: compile
22solvers: [gecode]
23options:
24 -O3: true
25expected: !FlatZinc optimization_3.fzn
26***/
27
28var 1..10: x;
29var set of 1..10: y;
30var bool: z;
31
32constraint forall (i in y) (i mod 2 = 1);
33constraint x >= 5 <-> x in y;
34constraint x > 2 -> not z;
35constraint z;