Mejorando el solucionador APT: Manejo elegante de la eliminación de paquetes instalados manualmente

2025-05-27

Esta publicación detalla mejoras en un solucionador de administrador de paquetes APT. Inicialmente, los paquetes instalados manualmente se trataban como hechos fijos, mientras que los paquetes instalados automáticamente eran cláusulas unitarias opcionales. Sin embargo, permitir la eliminación de paquetes instalados manualmente rompió el solucionador; podía eliminarlos innecesariamente. El autor lo resuelve asumiendo inicialmente todas las cláusulas opcionales, y luego deshaciendo iterativamente estas suposiciones durante el proceso de resolución. Este enfoque, aunque no es globalmente óptimo, resulta eficaz en la práctica para la resolución de dependencias, evitando la complejidad exponencial de una búsqueda global.

Leer más