Legofabriken

/* Minimering av totala produktionstiden*/
Min: total_time;
/* =====B1&V1=====*/
t_1_B1V1 -t_2_V1V2+10000y_1_V1_2>=6;
t_2_B1V1 -t_1_V1V2-10000y_1_V1_2>=6-10000;

t_1_B1V1 -t_3_V1V2+10000y_1_V1_3>=6;
t_3_B1V1 -t_1_V1V2-10000y_1_V1_3>=6-10000;

t_1_B1V1 -t_4_V1V2+10000y_1_V1_4>=6;
t_4_B1V1 -t_1_V1V2-10000y_1_V1_4>=6-10000;

t_1_B1V1 -t_5_V1V2+10000y_1_V1_5>=6;
t_5_B1V1 -t_1_V1V2-10000y_1_V1_5>=6-10000;

t_2_B1V1 -t_3_V1V2+10000y_2_V1_3>=6;
t_3_B1V1 -t_2_V1V2-10000y_2_V1_3>=6-10000;

t_2_B1V1 -t_4_V1V2+10000y_2_V1_4>=6;
t_4_B1V1 -t_2_V1V2-10000y_2_V1_4>=6-10000;

t_2_B1V1 -t_5_V1V2+10000y_2_V1_5>=6;
t_5_B1V1 -t_2_V1V2-10000y_2_V1_5>=6-10000;

t_3_B1V1 -t_4_V1V2+10000y_3_V1_4>=6;
t_4_B1V1 -t_3_V1V2-10000y_3_V1_4>=6-10000;

t_3_B1V1 -t_5_V1V2+10000y_3_V1_5>=6;
t_5_B1V1 -t_3_V1V2-10000y_3_V1_5>=6-10000;

t_4_B1V1 -t_5_V1V2+10000y_4_V1_5>=6;
t_5_B1V1 -t_4_V1V2-10000y_4_V1_5>=6-10000;

/* =====V2=====*/
t_1_V1V2 -t_2_V2V3+10000y_1_V2_2>=6;
t_2_V1V2 -t_1_V2NosA-10000y_1_V2_2>=6-10000;

t_1_V1V2 -t_3_V2V3+ 10000y_1_V2_3>=6;
t_3_V1V2 -t_1_V2NosA-10000y_1_V2_3>=6-10000;

t_1_V1V2 -t_4_V2V3+ 10000y_1_V2_4>=6;
t_4_V1V2 -t_1_V2NosA-10000y_1_V2_4>=6-10000;

t_1_V1V2 -t_5_V2V3+ 10000y_1_V2_5>=6;
t_5_V1V2 -t_1_V2NosA-10000y_1_V2_5>=6-10000;

t_2_V1V2 -t_3_V2V3+10000y_2_V2_3>=6;
t_3_V1V2 -t_2_V2V3-10000y_2_V2_3>=6-10000;

t_2_V1V2 -t_4_V2V3+10000y_2_V2_4>=6;
t_4_V1V2 -t_2_V2V3-10000y_2_V2_4>=6-10000;

t_2_V1V2 -t_5_V2V3+10000y_2_V2_5>=6;
t_5_V1V2 -t_2_V2V3-10000y_2_V2_5>=6-10000;

t_3_V1V2 -t_4_V2V3+10000y_3_V2_4>=6;
t_4_V1V2 -t_3_V2V3-10000y_3_V2_4>=6-10000;

t_3_V1V2 -t_5_V2V3+10000y_3_V2_5>=6;
t_5_V1V2 -t_3_V2V3-10000y_3_V2_5>=6-10000;

t_4_V1V2 -t_5_V2V3+10000y_4_V2_5>=6;
t_5_V1V2 -t_4_V2V3-10000y_4_V2_5>=6-10000;

/* =====V3=====*/
t_2_V2V3 -t_3_V3V4+ 10000y_2_V3_3>=6;
t_3_V2V3 -t_2_V3NosB-10000y_2_V3_3>=6-10000;

t_2_V2V3 -t_4_V3NosB+10000y_2_V3_4>=6;
t_4_V2V3 -t_2_V3NosB-10000y_2_V3_4>=6-10000;

t_2_V2V3 -t_5_V3V4+ 10000y_2_V3_5>=6;
t_5_V2V3 -t_2_V3NosB-10000y_2_V3_5>=6-10000;

t_3_V2V3 -t_4_V3NosB+10000y_3_V3_4>=6;
t_4_V2V3 -t_3_V3V4-10000y_3_V3_4>=6-10000;

t_3_V2V3 -t_5_V3V4+10000y_3_V3_5>=6;
t_5_V2V3 -t_3_V3V4-10000y_3_V3_5>=6-10000;

t_4_V2V3 -t_5_V3V4+10000y_4_V3_5>=6;
t_5_V2V3 -t_4_V3NosB-10000y_4_V3_5>=6-10000;


/* =====V4=====*/
t_3_V3V4 -t_5_V4NosC+10000y_3_V4_5>=6;
t_5_V3V4 -t_3_V4NosC-10000y_3_V4_5>=6-10000;
/* =====NosA=====*/
/* =====NosB=====*/
/*
t_2_V3NosB -t_4_NosBV7+10000y_2_V7_4>=12;
t_4_V3NosB -t_2_NosBV7-10000y_2_V7_4>=12-10000; */
t_2_V3NosB -t_4_NosBV7+10000y_2_NosB_4>=12;
t_4_V3NosB -t_2_NosBV7-10000y_2_NosB_4>=12-10000;
/* =====NosC=====*/
/*t_3_V4NosC -t_5_NosCV8+10000y_3_V8_5>=12;
t_5_V4NosC -t_3_NosCV8-10000y_3_V8_5>=12-10000; */
t_3_V4NosC -t_5_NosCV8+10000y_3_NosC_5>=12;
t_5_V4NosC -t_3_NosCV8-10000y_3_NosC_5>=12-10000;
/* =====V6=====*/


y_bil2_hoger+y_bil2_vanster =1;
y_bil4_hoger+y_bil4_vanster =1;

t_1_NosAV6 -t_2_V6H1+10000y_1_V6_2+20000y_bil2_hoger>=10;
t_2_V7V6 -t_1_V6H1-10000y_1_V6_2+20000y_bil2_hoger>=10-10000;

t_1_NosAV6 -t_4_V6H1+10000y_1_V6_4+20000y_bil4_hoger>=10;
t_4_V7V6 -t_1_V6H1-10000y_1_V6_4+20000y_bil4_hoger>=10-10000;


t_2_V7V6 -t_4_V6H1+10000y_2_V6_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=10;
t_4_V7V6 -t_2_V6H1-10000y_2_V6_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=10-10000;


/* =====V7=====*/

t_2_NosBV7 -t_4_V7V6+10000y_2_V7_4+20000y_bil4_hoger>=6;
t_4_NosBV7 -t_2_V7V6-10000y_2_V7_4+20000y_bil2_hoger>=6-10000;

t_2_NosBV7 -t_4_V7V8+10000y_2_V7_4+20000y_bil4_vanster>=6;
t_4_NosBV7 -t_2_V7V8-10000y_2_V7_4+20000y_bil2_vanster>=6-10000;




/* =====V8=====*/

t_2_V7V8 -t_3_V8H2+10000y_2_V8_3+20000y_bil2_vanster>=10;
t_3_NosCV8 -t_2_V8H2-10000y_2_V8_3+20000y_bil2_vanster>=10-10000;

t_2_V7V8 -t_4_V8H2+10000y_2_V8_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=10;
t_4_V7V8 -t_2_V8H2-10000y_2_V8_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=10-10000;

t_2_V7V8 -t_5_V8H2+10000y_2_V8_5+20000y_bil2_vanster>=10;
t_5_NosCV8 -t_2_V8H2-10000y_2_V8_5+20000y_bil2_vanster>=10-10000;

t_3_NosCV8 -t_4_V8H2+10000y_3_V8_4+20000y_bil4_vanster>=10;
t_4_V7V8 -t_3_V8H2-10000y_3_V8_4+20000y_bil4_vanster>=10-10000;

t_3_NosCV8 -t_5_V8H2+10000y_3_V8_5>=10;
t_5_NosCV8 -t_3_V8H2-10000y_3_V8_5>=10-10000;

t_4_V7V8 -t_5_V8H2+10000y_4_V8_5+20000y_bil4_vanster>=10;
t_5_NosCV8 -t_4_V8H2-10000y_4_V8_5+20000y_bil4_vanster>=10-10000;

/* =====H1=====*/
t_1_V6H1 -t_2_H1V10+10000y_1_H1_2+20000y_bil2_hoger>=10;
t_2_V6H1 -t_1_H1V10-10000y_1_H1_2+20000y_bil2_hoger>=10-10000;

t_1_V6H1 -t_4_H1V10+10000y_1_H1_4+20000y_bil4_hoger>=10;
t_4_V6H1 -t_1_H1V10-10000y_1_H1_4+20000y_bil4_hoger>=10-10000;

t_2_V6H1 -t_4_H1V10+10000y_2_H1_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=10;
t_4_V6H1 -t_2_H1V10-10000y_2_H1_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=10-10000;



/* =====H2=====*/
t_2_V8H2 -t_3_H2V12+10000y_2_H2_3+20000y_bil2_vanster>=10;
t_3_V8H2 -t_2_H2V12-10000y_2_H2_3+20000y_bil2_vanster>=10-10000;

t_2_V8H2 -t_4_H2V12+10000y_2_H2_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=10;
t_4_V8H2 -t_2_H2V12-10000y_2_H2_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=10-10000;

t_2_V8H2 -t_5_H2V12+10000y_2_H2_5+20000y_bil2_vanster>=10;
t_5_V8H2 -t_2_H2V12-10000y_2_H2_5+20000y_bil2_vanster>=10-10000;

t_3_V8H2 -t_4_H2V12+10000y_3_H2_4+20000y_bil4_vanster>=10;
t_4_V8H2 -t_3_H2V12-10000y_3_H2_4+20000y_bil4_vanster>=10-10000;

t_3_V8H2 -t_5_H2V12+10000y_3_H2_5>=10;
t_5_V8H2 -t_3_H2V12-10000y_3_H2_5>=10-10000;

t_4_V8H2 -t_5_H2V12+10000y_4_H2_5+20000y_bil4_vanster>=10;
t_5_V8H2 -t_4_H2V12-10000y_4_H2_5+20000y_bil4_vanster>=10-10000;

/* =====V10=====*/
t_1_H1V10 -t_2_V10V11 +10000y_1_V10_2+20000y_bil2_hoger>=6;
t_2_H1V10 -t_1_V10BakA-10000y_1_V10_2+20000y_bil2_hoger>=6-10000;

t_1_H1V10 -t_4_V10V11 +10000y_1_V10_4+20000y_bil4_hoger>=6;
t_4_H1V10 -t_1_V10BakA-10000y_1_V10_4+20000y_bil4_hoger>=6-10000;

t_2_H1V10 -t_4_V10V11+10000y_2_V10_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=6;
t_4_H1V10 -t_2_V10V11-10000y_2_V10_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=6-10000;



/* =====V11=====*/

t_2_V10V11 -t_4_V11BakB+10000y_2_V11_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=6;
t_4_V10V11 -t_2_V11BakB-10000y_2_V11_4+20000-10000y_bil2_vanster-10000y_bil4_vanster>=6-10000;

t_2_V12V11 -t_4_V11BakB+10000y_2_V11_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=6;
t_4_V12V11 -t_2_V11BakB-10000y_2_V11_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=6-10000;

t_2_V10V11 -t_4_V11BakB+10000y_2_V11_4+20000-10000y_bil2_vanster-10000y_bil4_hoger>=6;
t_4_V10V11 -t_2_V11BakB-10000y_2_V11_4+20000-10000y_bil2_vanster-10000y_bil4_hoger>=6-10000;

t_2_V12V11 -t_4_V11BakB+10000y_2_V11_4+20000-10000y_bil2_hoger-10000y_bil4_vanster>=6;
t_4_V12V11 -t_2_V11BakB-10000y_2_V11_4+20000-10000y_bil2_hoger-10000y_bil4_vanster>=6-10000;


/* =====V12=====*/
t_2_H2V12 -t_3_V12BakC+10000y_2_V12_3+20000y_bil2_vanster>=6;
t_3_H2V12 -t_2_V12V11- 10000y_2_V12_3+20000y_bil2_vanster>=6-10000;

t_2_H2V12 -t_4_V12V11+ 10000y_2_V12_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=6;
t_4_H2V12 -t_2_V12V11- 10000y_2_V12_4+20000-10000y_bil2_hoger-10000y_bil4_hoger>=6-10000;

t_2_H2V12 -t_5_V12BakC+10000y_2_V12_5+20000y_bil2_vanster>=6;
t_5_H2V12 -t_2_V12V11- 10000y_2_V12_5+20000y_bil2_vanster>=6-10000;

t_3_H2V12 -t_4_V12V11+ 10000y_3_V12_4+20000y_bil4_vanster>=6;
t_4_H2V12 -t_3_V12BakC-10000y_3_V12_4+20000y_bil4_vanster>=6-10000;

t_3_H2V12 -t_5_V12BakC+10000y_3_V12_5>=6;
t_5_H2V12 -t_3_V12BakC-10000y_3_V12_5>=6-10000;

t_4_H2V12 -t_5_V12BakC+10000y_4_V12_5+20000y_bil4_vanster>=6;
t_5_H2V12 -t_4_V12V11- 10000y_4_V12_5+20000y_bil4_vanster>=6-10000;

/* =====BakA,V13,S1=====*/

/* =====BakB,V14,S2=====*/
t_2_V11BakB -t_4_BakBV14+10000y_2_BakB_4>=10;
t_4_V11BakB -t_2_BakBV14-10000y_2_BakB_4>=10-10000;

/* =====BakC,V15,S3=====*/
t_3_V12BakC -t_5_BakCV15+10000y_3_BakC_5>=10;
t_5_V12BakC -t_3_BakCV15-10000y_3_BakC_5>=10-10000;
/* Produktionsstegensordningf®orbilarna*/
/* Bil(1)-typA*/
t_1_V1V2 -t_1_B1V1>=6;
t_1_V2NosA -t_1_V1V2>=6;
t_1_NosAV6 -t_1_V2NosA>=25;
t_1_V6H1 -t_1_NosAV6>=12;
t_1_H1V10 -t_1_V6H1>=15;
t_1_V10BakA -t_1_H1V10>=10;
t_1_BakAV13 -t_1_V10BakA>=15;
t_1_V13S1 -t_1_BakAV13>=10;
total_time -t_1_V13S1>=10;
/* Bil(2)-typB*/
t_2_V1V2 -t_2_B1V1>=6;
t_2_V2V3 -t_2_V1V2>=6;
t_2_V3NosB -t_2_V2V3>=6;
t_2_NosBV7 -t_2_V3NosB>=25;
t_2_V7V6 -t_2_NosBV7+10000y_bil2_hoger>=12;
t_2_V7V8 -t_2_NosBV7+10000y_bil2_vanster>=12;
t_2_V6H1 -t_2_V7V6+10000y_bil2_hoger>=6;
t_2_V8H2 -t_2_V7V8+10000y_bil2_vanster>=6;
t_2_H1V10 -t_2_V6H1+10000y_bil2_hoger>=15;
t_2_H2V12 -t_2_V8H2+10000y_bil2_vanster>=15;
t_2_V10V11 -t_2_H1V10+10000y_bil2_hoger>=10;
t_2_V12V11 -t_2_H2V12+10000y_bil2_vanster>=10;
t_2_V11BakB -t_2_V10V11+10000y_bil2_hoger>=6;
t_2_V11BakB -t_2_V12V11+10000y_bil2_vanster>=6;
t_2_BakBV14 -t_2_V11BakB>=15;
t_2_V14S2 -t_2_BakBV14>=10;
total_time -t_2_V14S2>=10;
/* Bil(3)-typC*/
t_3_V1V2 -t_3_B1V1>=6;
t_3_V2V3 -t_3_V1V2>=6;
t_3_V3V4 -t_3_V2V3>=6;
t_3_V4NosC -t_3_V3V4>=6;
t_3_NosCV8 -t_3_V4NosC>=25;
t_3_V8H2 -t_3_NosCV8>=12;
t_3_H2V12 -t_3_V8H2>=15;
t_3_V12BakC -t_3_H2V12>=10;
t_3_BakCV15 -t_3_V12BakC>=15;
t_3_V15S3 -t_3_BakCV15>=10;
total_time -t_3_V15S3>=10;

/* Bil(4)-typB*/
t_4_V1V2 -t_4_B1V1>=6;
t_4_V2V3 -t_4_V1V2>=6;
t_4_V3NosB -t_4_V2V3>=6;
t_4_NosBV7 -t_4_V3NosB>=25;
t_4_V7V6 -t_4_NosBV7+10000y_bil4_hoger>=12;
t_4_V7V8 -t_4_NosBV7+10000y_bil4_vanster>=12;
t_4_V6H1 -t_4_V7V6+10000y_bil4_hoger>=6;
t_4_V8H2 -t_4_V7V8+10000y_bil4_vanster>=6;
t_4_H1V10 -t_4_V6H1+10000y_bil4_hoger>=15;
t_4_H2V12 -t_4_V8H2+10000y_bil4_vanster>=15;
t_4_V10V11 -t_4_H1V10+10000y_bil4_hoger>=10;
t_4_V12V11 -t_4_H2V12+10000y_bil4_vanster>=10;
t_4_V11BakB -t_4_V10V11+10000y_bil4_hoger>=6;
t_4_V11BakB -t_4_V12V11+10000y_bil4_vanster>=6;
t_4_BakBV14 -t_4_V11BakB>=15;
t_4_V14S2 -t_4_BakBV14>=10;
total_time -t_4_V14S2>=10;
/* Bil(5)-typC*/
t_5_V1V2 -t_5_B1V1>=6;
t_5_V2V3 -t_5_V1V2>=6;
t_5_V3V4 -t_5_V2V3>=6;
t_5_V4NosC -t_5_V3V4>=6;
t_5_NosCV8 -t_5_V4NosC>=25;
t_5_V8H2 -t_5_NosCV8>=12;
t_5_H2V12 -t_5_V8H2>=15;
t_5_V12BakC -t_5_H2V12>=10;
t_5_BakCV15 -t_5_V12BakC>=15;
t_5_V15S3 -t_5_BakCV15>=10;
total_time -t_5_V15S3>=10;

Int
y_1_V1_2
y_1_V1_3
y_1_V1_4
y_1_V1_5
y_2_V1_3
y_2_V1_4
y_2_V1_5
y_3_V1_4
y_3_V1_5
y_4_V1_5

y_1_V2_2
y_1_V2_3
y_1_V2_4
y_1_V2_5
y_2_V2_3
y_2_V2_4
y_2_V2_5
y_3_V2_4
y_3_V2_5
y_4_V2_5


y_2_V3_3
y_2_V3_4
y_2_V3_5
y_3_V3_4
y_3_V3_5
y_4_V3_5

y_3_V4_5

y_bil2_hoger
y_bil2_vanster
y_bil4_hoger
y_bil4_vanster
y_1_V6_2
y_1_V6_4
y_2_V6_4

y_2_V7_4

y_2_V8_3
y_2_V8_4
y_2_V8_5
y_3_V8_4
y_3_V8_5
y_4_V8_5

y_1_H1_2
y_1_H1_4
y_2_H1_4

y_2_H2_3
y_2_H2_4
y_2_H2_5
y_3_H2_4
y_3_H2_5
y_4_H2_5

y_1_V10_2
y_1_V10_4
y_2_V10_4

y_2_V11_4

y_2_V12_3
y_2_V12_4
y_2_V12_5
y_3_V12_4
y_3_V12_5
y_4_V12_5

y_2_BakB_4

y_3_BakC_5
y_2_NosB_4
y_3_NosC_5
; Legofabriken 177