this repo has no description
dekker.one
1float: width; % 包含圆的长方形的宽
2float: height; % 包含圆的长方形的高
3float: r1;
4var r1..width-r1: x1; % (x1,y1) 是第一个圆的中心
5var r1..height-r1: y1;
6float: r2;
7var r2..width-r2: x2; % (x2,y2) 是第二个圆的中心
8var r2..height-r2: y2;
9 % 中心之间至少有r1 + r2的距离
10constraint (x1-x2)*(x1-x2) + (y1-y2)*(y1-y2) >= (r1+r2)*(r1+r2);
11solve satisfy;