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


/* Objective Function */
min: Y;

/* Constants */
w1 = 4;
h1 = 5;
w2 = 3;
h2 = 7;
w3 = 6;
h3 = 4;
w4 = 7;
h4 = 7;

/* non-overlap constraints */
x1 + w1 <= x2 + 20 x12 + 20 y12;
x1 - w2 >= x2 - 20 + 20 x12 - 20 y12;
y1 + h1 <= y2 + 23 + 23 x12 - 23 y12;
y1 - h2 >= y2 - 46 + 23 x12 + 23 y12;

x1 + w1 <= x3 + 20 x13 + 20 y13;
x1 - w3 >= x3 - 20 + 20 x13 - 20 y13;
y1 + h1 <= y3 + 23 + 23 x13 - 23 y13;
y1 - h3 >= y3 - 46 + 23 x13 + 23 y13;

x1 + w1 <= x4 + 20 x14 + 20 y14;
x1 - w4 >= x4 - 20 + 20 x14 - 20 y14;
y1 + h1 <= y4 + 23 + 23 x14 - 23 y14;
y1 - h4 >= y4 - 46 + 23 x14 + 23 y14;

x2 + w2 <= x3 + 20 x23 + 20 y23;
x2 - w3 >= x3 - 20 + 20 x23 - 20 y23;
y2 + h2 <= y3 + 23 + 23 x23 - 23 y23;
y2 - h3 >= y3 - 46 + 23 x23 + 23 y23;

x2 + w2 <= x4 + 20 x24 + 20 y24;
x2 - w4 >= x4 - 20 + 20 x24 - 20 y24;
y2 + h2 <= y4 + 23 + 23 x24 - 23 y24;
y2 - h4 >= y4 - 46 + 23 x24 + 23 y24;

x3 + w3 <= x4 + 20 x34 + 20 y34;
x3 - w4 >= x4 - 20 + 20 x34 - 20 y34;
y3 + h3 <= y4 + 23 + 23 x34 - 23 y34;
y3 - h4 >= 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 + w1 <= Y;
x2 + w2 <= Y;
x3 + w3 <= Y;
x4 + w4 <= Y;

/* chip height constraints */
y1 + h1 <= Y;
y2 + h2 <= Y;
y3 + h3 <= Y;
y4 + h4 <= Y;

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