This MIRO App is based on the cpack model from the GAMS Model library.
Given the unit circle (of radius 1), the goal is to find a set of identical size circles with an optimized (maximal) radius r so that all such circles are contained by the unit circle, in a non-overlapping arrangement.
Note that solvers will be provided with a trivial start point where the centers of all inner circles are placed on the x axis.
While local solvers may not improve the start point and declare it as local optimum, global solvers are usually able to find solutions better than the trivial start point.