1% Ancho del rectángulo para contener círculos.
2float: width;
3
4% Altura del rectángulo para contener círculos.
5float: height;
6
7% (x1, y1) es el centro del círculo de radio r1.
8float: r1;
9var r1..width-r1:  x1;
10var r1..height-r1: y1;
11
12% (x2, y2) es el centro del círculo de radio r2.
13float: r2;
14var r2..width-r2:  x2;
15var r2..height-r2: y2;
16
17% Los centros son al menos r1 + r2.
18constraint (x1-x2)*(x1-x2) + (y1-y2)*(y1-y2) >= (r1+r2)*(r1+r2);
19solve satisfy;
20