The dependency web of Debian packages has been converted into the Boolean satisfiability problem (SAT) so that a normal resolver could find a solution.
La red de dependencias de los paquetes de Debian ha sido convertida al problema Booleano de satisfacibilidad (SAT) de modo que los resolutores pueden encontrar una solución.