而限制了它的速度表现。
SAT求解器整合.libzypp其中一个需要改进的地方是相依性求解器的速度。像OPIUM专案及这些尝试修复SAT求解器的一个相依性求解问题的专案。像是APT有时可能会出现一些无法接受的缺陷。基于计算复杂性理论的SAT求解器，与传统求解器，如APT的运作方式不同。它决定将SAT算法整合到ZYpp堆叠中；其求解器是基于minisat求解器。在openSUSE 11.0中的SAT求解器是基于两个主要且独立的区块：经过几个月的工作，整合了SAT求解器的第四