/* Input File for ILP Floorplanning */
/* Problem 2 with block rotation    */
/*                                  */
/* 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 + 23 x12 + 23 y12;
x1 - 7 z2 - 3 + 3 z2 >= x2 - 23 + 23 x12 - 23 y12;
y1 + 4 z1 + 5 - 5 z1 <= y2 + 23 + 23 x12 - 23 y12;
y1 - 3 z2 - 7 + 7 z2 >= y2 - 46 + 23 x12 + 23 y12;

x1 + 5 z1 + 4 - 4 z1 <= x3 + 23 x13 + 23 y13;
x1 - 4 z3 - 6 + 6 z3 >= x3 - 23 + 23 x13 - 23 y13;
y1 + 4 z1 + 5 - 5 z1 <= y3 + 23 + 23 x13 - 23 y13;
y1 - 6 z3 - 4 + 4 z3 >= y3 - 46 + 23 x13 + 23 y13;

x1 + 5 z1 + 4 - 4 z1 <= x4 + 23 x14 + 23 y14;
x1 - 7 z4 - 7 + 7 z4 >= x4 - 23 + 23 x14 - 23 y14;
y1 + 4 z1 + 5 - 5 z1 <= y4 + 23 + 23 x14 - 23 y14;
y1 - 7 z4 - 7 + 7 z4 >= y4 - 46 + 23 x14 + 23 y14;

x2 + 7 z2 + 3 - 3 z2 <= x3 + 23 x23 + 23 y23;
x2 - 4 z3 - 6 + 6 z3 >= x3 - 23 + 23 x23 - 23 y23;
y2 + 3 z2 + 7 - 7 z2 <= y3 + 23 + 23 x23 - 23 y23;
y2 - 6 z3 - 4 + 4 z3 >= y3 - 46 + 23 x23 + 23 y23;

x2 + 7 z2 + 3 - 3 z2 <= x4 + 23 x24 + 23 y24;
x2 - 7 z4 - 7 + 7 z4 >= x4 - 23 + 23 x24 - 23 y24;
y2 + 3 z2 + 7 - 7 z2 <= y4 + 23 + 23 x24 - 23 y24;
y2 - 7 z4 - 7 + 7 z4 >= y4 - 46 + 23 x24 + 23 y24;

x3 + 4 z3 + 6 - 6 z3 <= x4 + 23 x34 + 23 y34;
x3 - 7 z4 - 7 + 7 z4 >= x4 - 23 + 23 x34 - 23 y34;
y3 + 6 z3 + 4 - 4 z3 <= y4 + 23 + 23 x34 - 23 y34;
y3 - 7 z4 - 7 + 7 z4 >= y4 - 46 + 23 x34 + 23 y34;

/* variable type constraints */
x1 >= 0;
x2 >= 0;
x3 >= 0;
x4 >= 0;
y1 >= 0;
y2 >= 0;
y3 >= 0;
y4 >= 0;

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

/* chip height constraints */
y1 + 5 - 5 z1 + 4 z1 <= Y;
y2 + 7 - 7 z2 + 3 z2 <= Y;
y3 + 4 - 4 z3 + 6 z3 <= Y;
y4 + 7 - 7 z4 + 7 z4 <= Y;

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