Skip to content

Q
qgroundcontrol
Switch branch/tag
Find file
Normal viewHistoryPermalink
blending_problem.fzn 2.29 KB
Newer Older
Valentin Platzgummer's avatar
123
3ce021db
 
Valentin Platzgummer committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 
array [1..3] of int: feed_cost = [84, 72, 60];
array [1..9] of int: ingredients_per_feed = [90, 20, 40, 30, 80, 60, 10, 20, 60];
array [1..3] of int: min_daily_requirements = [200, 180, 150];
var bool: BOOL____00002 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00004 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00008 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00010 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;
var 0..1000: INT____00007 :: is_defined_var :: var_is_introduced;
var 0..1: INT____00009 :: is_defined_var :: var_is_introduced;
var 0..1: INT____00011 :: is_defined_var :: var_is_introduced;
var 0..1: INT____00013 :: is_defined_var :: var_is_introduced;
array [1..3] of var 0..1: daily_req_met :: output_array([1..3]);
array [1..3] of var 0..100: mix :: output_array([1..3]);
var 0..1000: tot_cost :: output_var = INT____00007;
constraint bool2int(BOOL____00008, INT____00009) :: defines_var(INT____00009);
constraint bool2int(BOOL____00010, INT____00011) :: defines_var(INT____00011);
constraint bool2int(BOOL____00012, INT____00013) :: defines_var(INT____00013);
constraint int_eq_reif(daily_req_met[1], 1, BOOL____00002) :: defines_var(BOOL____00002);
constraint int_eq_reif(daily_req_met[2], 1, BOOL____00004) :: defines_var(BOOL____00004);
constraint int_eq_reif(daily_req_met[3], 1, BOOL____00006) :: defines_var(BOOL____00006);
constraint int_lin_eq([1, 1, 1], [daily_req_met[1], daily_req_met[2], daily_req_met[3]], 2);
constraint int_lin_eq([-1, 84, 72, 60], [INT____00007, mix[1], mix[2], mix[3]], 0) :: defines_var(INT____00007);
constraint int_lin_le([1, 1, 1], [INT____00009, INT____00011, INT____00013], 2);
constraint int_lin_le_reif([-90, -20, -40], [mix[1], mix[2], mix[3]], -200, BOOL____00002);
constraint int_lin_le_reif([-30, -80, -60], [mix[1], mix[2], mix[3]], -180, BOOL____00004);
constraint int_lin_le_reif([-10, -20, -60], [mix[1], mix[2], mix[3]], -150, BOOL____00006);
constraint int_lt_reif(0, mix[1], BOOL____00008) :: defines_var(BOOL____00008);
constraint int_lt_reif(0, mix[2], BOOL____00010) :: defines_var(BOOL____00010);
constraint int_lt_reif(0, mix[3], BOOL____00012) :: defines_var(BOOL____00012);
solve minimize INT____00007;