this repo has no description
dekker.one
1default: !Suite
2 includes: ['unit/*']
3
4optimize-0: !Suite
5 includes: ['examples/*']
6 strict: false
7 options:
8 -O0: true
9
10optimize-2: !Suite
11 includes: ['examples/*']
12 strict: false
13 options:
14 -O0: true
15
16optimize-3: !Suite
17 includes: ['examples/*']
18 strict: false
19 options:
20 -O0: true
21
22no-mip-domains: !Suite
23 includes: ['examples/*']
24 strict: false
25 solvers: [cbc]
26 options:
27 -D: fMIPdomains=false
28
29no-half-reifications: !Suite
30 includes: ['examples/*']
31 strict: false
32 options:
33 no-half-reifications: true
34
35no-chain-compression: !Suite
36 includes: ['examples/*']
37 strict: false
38 options:
39 no-chain-compression: true