/* Input File for ILP Floorplanning */
/* Problem 3 with mixed blocks      */
/*                                  */
/* Written by Daehyun Kim           */
/* GTCAD Lab, Georgia Tech          */
/* daehyun@ece.gatech.edu           */
/* www.gtcad.gatech.edu             */


/* Objective Function */
min: Y;

/* non-overlap constraints */
x1 + 5 z1 + 4 - 4 z1 <= x2 + 30.00 x12 + 30.00 y12;
x1 - 7 z2 - 3 + 3 z2 >= x2 - 30.00 + 30.00 x12 - 30.00 y12;
y1 + 4 z1 + 5 - 5 z1 <= y2 + 30.00 + 30.00 x12 - 30.00 y12;
y1 - 3 z2 - 7 + 7 z2 >= y2 - 60.00 + 30.00 x12 + 30.00 y12;

x1 + 5 z1 + 4 - 4 z1 <= x3 + 30.00 x13 + 30.00 y13;
x1 - w3 >= x3 - 30.00 + 30.00 x13 - 30.00 y13;
y1 + 4 z1 + 5 - 5 z1 <= y3 + 30.00 + 30.00 x13 - 30.00 y13;
y1 + 0.5 w3 - 6.93 >= y3 - 60.00 + 30.00 x13 + 30.00 y13;

x1 + 5 z1 + 4 - 4 z1 <= x4 + 30.00 x14 + 30.00 y14;
x1 - w4 >= x4 - 30.00 + 30.00 x14 - 30.00 y14;
y1 + 4 z1 + 5 - 5 z1 <= y4 + 30.00 + 30.00 x14 - 30.00 y14;
y1 + 0.4 w4 - 8.85 >= y4 - 60.00 + 30.00 x14 + 30.00 y14;

x2 + 7 z2 + 3 - 3 z2 <= x3 + 30.00 x23 + 30.00 y23;
x2 - w3 >= x3 - 30.00 + 30.00 x23 - 30.00 y23;
y2 + 3 z2 + 7 - 7 z2 <= y3 + 30.00 + 30.00 x23 - 30.00 y23;
y2 + 0.5 w3 - 6.93 >= y3 - 60.00 + 30.00 x23 + 30.00 y23;

x2 + 7 z2 + 3 - 3 z2 <= x4 + 30.00 x24 + 30.00 y24;
x2 - w4 >= x4 - 30.00 + 30.00 x24 - 30.00 y24;
y2 + 3 z2 + 7 - 7 z2 <= y4 + 30.00 + 30.00 x24 - 30.00 y24;
y2 + 0.4 w4 - 8.85 >= y4 - 60.00 + 30.00 x24 + 30.00 y24;

x3 + w3 <= x4 + 30.00 x34 + 30.00 y34;
x3 - w4 >= x4 - 30.00 + 30.00 x34 - 30.00 y34;
y3 - 0.5 w3 + 6.93 <= y4 + 30.00 + 30.00 x34 - 30.00 y34;
y3 + 0.4 w4 - 8.85 >= y4 - 60.00 + 30.00 x34 + 30.00 y34;

/* variable type constraints */
x1 >= 0;
x2 >= 0;
x3 >= 0;
x4 >= 0;
y1 >= 0;
y2 >= 0;
y3 >= 0;
y4 >= 0;
w3 >= 3.46;
w3 <= 6.93;
w4 >= 3.83;
w4 <= 11.07;

/* chip width constraints */
x1 + 4 - 4 z1 + 5 z1 <= Y;
x2 + 3 - 3 z2 + 7 z2 <= Y;
x3 + w3 <= Y;
x4 + w4 <= Y;

/* chip height constraints */
y1 + 5 - 5 z1 + 4 z1 <= Y;
y2 + 7 - 7 z2 + 3 z2 <= Y;
y3 - 0.5 w3 + 6.93 <= Y;
y4 - 0.4 w4 + 8.85 <= Y;

/* variable type constraints */
bin x12, x13, x14, x23, x24, x34;
bin y12, y13, y14, y23, y24, y34;
bin z1, z2;