International audienceThe en-route conflict resolution problem has been modelled in many different ways, generally depending on the tools that were proposed to solve it. For instance, with purely analytic mathematical solvers, models tend to be very restrictive (constant speeds, linear trajectories\dots) to respect the inherent limitations of the technology. This paper introduces a new framework that separates the model from the solver so as to be able to: first, enhance the model with as many refinements (e.g. wind and trajectory uncertainties) as necessary to comply with operational constraints; second, compare different resolution methods on the same data, which is one of the crucial aspects of scientific research. To this aim, our framework can generate a benchmark of conflict resolution problems built with various scenarios involving a given number of aircraft, level of uncertainties and number of manoeuvres. We then compare two different optimization paradigms, Evolutionary Algorithm and Constraint Programming, which can efficiently solve difficult instances in near real time, to illustrate the usefulness of our approach
