beaux logiciels, C++ wrapper, Cutting Planes Implementation, décompositions de matrices, Optimisation combinatoire, optimisation SDP.