%%
%% Dumbbell weights for just one dumbbell.
%% To be used with http://hakank.org/minizinc/weights.mzn
%%
%% Note: In order to work, one must have a _pair_ of a weight, i.e. one of
%% each side of the barbell. If you have four 2kg weights, then it's
%% represented as a 2 in weight_avail
%%
bell_type = "dumbbell";
num_weights = 10; % total number of weights
req_weights = 2; % 2 weights in total (one of each side)
% the weights (in kg)
weights = [0.50,1.0,1.25,2.0,2.5,5.0,10.0,20.0,25.0,50.0];
% number of weights available
% E.g. I have 4 weights of 0.5kg -> 2 in weight_avail, and 2 weights of 10kg -> 1.
weight_avail = [ 2, 2, 2, 2, 1, 2, 1, 0, 0, 0];
bell_weight = 1.5;