Melhorando o Solver APT: Lidando Elegantemente com a Remoção de Pacotes Instalados Manualmente

Esta publicação detalha melhorias em um solver de gerenciamento de pacotes APT. Inicialmente, pacotes instalados manualmente eram tratados como fatos fixos, enquanto pacotes instalados automaticamente eram cláusulas unitárias opcionais. No entanto, permitir a remoção de pacotes instalados manualmente quebrou o solver; ele poderia removê-los desnecessariamente. O autor resolve isso assumindo inicialmente todas as cláusulas opcionais, e então desfazendo iterativamente essas suposições durante o processo de resolução. Essa abordagem, embora não seja globalmente ótima, se mostra eficaz na prática para resolução de dependências, evitando a complexidade exponencial de uma busca global.