...
Note that you may use a simpler syntax in other MiniZinc versions.
...
For generic model model generic_attributes.mzn, this is one possible data input file (lines starting with % are comments, and they are not needed in the file):
| Code Block |
|---|
numElements = 53; numLoaders = 1; maxTime = 5; noConflict = [| true , true , true , true , true | true , true , true , true , true | false , true , false , true , false |]; false ,elementSlotCapacity false= [1, false2, 1, false , false | true , false , true , false , true |]; slotCapacity = [5, 5, 5, 5, 5]; 3, 3]; % Since the (unique) loader has virtually % infinity capacity, we assign the number % of elements as capacity. loaderCapacity = [| 53, 53, 53, 53, 53 |]; numAttributes = 0; attributesRange = []; % attributes = []; does not work on version 2.2.1 attributes = array2d(1..numElements, 1..numAttributes, []); % attributeConcurrencyLimit = []; does not work on version 2.2.1 attributeConcurrencyLimit = array2d(1..numAttributes, 1..maxTime, []); |
This request will represent the information gathered by the Scheduler Optimizer to be passed to the Mini Zinc schedule optimizer engine.
...