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