this repo has no description
dekker.one
1% cars_data.dzn
2n_cars = 10;
3n_options = 5;
4n_classes = 6;
5max_per_block = [1, 2, 1, 2, 1];
6block_size = [2, 3, 3, 5, 5];
7cars_in_class = [1, 1, 2, 2, 2, 2];
8
9need = array2d(1..6, 1..5, [
10 1, 0, 1, 1, 0,
11 0, 0, 0, 1, 0,
12 0, 1, 0, 0, 1,
13 0, 1, 0, 1, 0,
14 1, 0, 1, 0, 0,
15 1, 1, 0, 0, 0
16]);