this repo has no description
dekker.one
1float: width; % width of rectangle to hold circles
2float: height; % height of rectangle to hold circles
3float: r1;
4var r1..width-r1: x1; % (x1,y1) is center of circle of radius r1
5var r1..height-r1: y1;
6float: r2;
7var r2..width-r2: x2; % (x2,y2) is center of circle of radius r2
8var r2..height-r2: y2;
9 % centers are at least r1 + r2 apart
10constraint (x1-x2)*(x1-x2) + (y1-y2)*(y1-y2) >= (r1+r2)*(r1+r2);
11solve satisfy;