Projects like Optimal Package Install/Uninstall Manager (OPIUM) and MANCOOSI were trying to fix dependency solving issues with a SAT solver.
Projekty jako OPIUM (za anglického Optimal Package Install/Uninstall Manager) a MANCOOSI se pokoušely odstranit problém s řešením závislostí pomocí SAT solveru.