Projects like Optimal Package Install/Uninstall Manager (OPIUM) and MANCOOSI were trying to fix dependency solving issues with a SAT solver.
Optimal Package Install/Uninstall Manager (OPIUM) やMANCOOSI（英語版）などのプロジェクトは、SAT解決策で依存関係の問題を解決しようとしていた。