this repo has no description
dekker.one
1/***
2!Test
3solvers: [cbc]
4expected: !Result
5 solution: !Solution
6 K: 11
7***/
8
9% Regession test for Minizinc bug #222. This model caused
10% a series of problems with the FlatZinc MIP (Cbc) backend.
11% Cbc version 2.7.5 was the first version with which this worked.
12
13array [1..40] of var int: pl ;
14var 9..15: K; %= 11;
15array [1..40] of var 0..1: B1 ;
16array [1..40] of var 0..1: B2 ;
17int: BigM = 10000 ;
18
19constraint forall (F in 1..40)(F + 42*(1-B1[F]) >= K-6);
20constraint forall (F in 1..40)(F + 45*(1-B2[F]) >= K-3);
21
22constraint forall (F in 1..33)
23 ( BigM*B1[F] + sum (M in F..F+7) (pl[M]) >= 1 );
24
25constraint forall (F in 1..36)
26 ( sum (M in F..F+4) (pl[M]) <= -1 + BigM*B2[F] ) ;
27
28solve maximize K ;
29
30output ["K = ", show(K), "\n"];