The proximity search algorithm was developed by Matteo Fischetti and Michele Monaci. PROXY uses the CPLEX library.
This solver was implemented by Hans Mittelmann and executes at under