At the moment, we use docplex which depends on an educational CPLEX license. We should replace it with a free solver.