this repo has no description
dekker.one
1
2% Regression test for bug #221.
3% In the G12/FD implementation of cumulative, ext_edge_finding_filtering
4% required an e-feasibility check to be run, but specifying the above
5% annotation alone did not imply that.
6
7% This model is unsatisfiable.
8
9include "cumulative.mzn" ;
10
11int: size = 10;
12array [1..2*size] of int: ones = [1 | Index in 1..2*size] ;
13array [1..2*size] of var 1..(2*size-1): start;
14
15constraint cumulative(start,ones,ones,1) :: ext_edge_finding_filtering ;
16
17solve satisfy ;
18
19output [show(start), "\n" ] ;