Progreso en los solucionadores de programación matemática de 2001 a 2020 | Synapse