1
0
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
mzn-byte-benchmarks/flatten/roster/chicroster_dataset_large_18.dzn

34 lines
871 B
MiniZinc

%
% ECLiPSe SAMPLE CODE: Rostering Problem Benchmark
%
% This code was developed in 1999 in the context of
%
% ESPRIT PROJECT 22165 CHIC-2, www.icparc.ic.ac.uk/chic2
%
% and contains contributions from
%
% IC-Parc, Imperial College, London, www.icparc.ic.ac.uk
% Bouygues research, Paris, www.bouygues.fr
% EuroDecision, Paris, www.eurodecision.fr
%
% The results were reported in CHIC-2 deliverable D 4.3.2 and
% are to appear in an article in the Constraints Journal.
%
% For the problem definition see roster.txt
%
%----------------------------------------------------------------------
% Data set
%----------------------------------------------------------------------
weeks = 26 ;
reqt = [| 8, 7, 7, 3, 8, 9, 7
| 5, 2, 3, 5, 5, 2, 4
| 1, 2, 1, 3, 1, 0, 2
| 5, 7, 7, 7, 4, 7, 6
| 7, 8, 8, 8, 8, 8, 7|] ;
minobj = 0 ;