2026-10-27 6.0002

Cuando ejecuto el solver CP-SAT para distribuir los turnos, la diferencia está en *OPTMIAL* o *FEASIBLE*. *OPTIMAL* devuelve el máximo global. No hay una distribución mejor. *FEASIBLE* devuelve una solución válida. Aunque no fue posible demostrar que sea la mejor. Ni siquiera podemos asegurar que sea un máximo local. Es la mejor solución que encontró dado el límite de tiempo. Si bien CP-SAT no es un algoritmo *greedy*, me ayuda a entender el output de su ejecución.