ZYpp

在2003年连续收购了Ximian公司[5]及SUSE公司[6]后，Novell决定要合并YaST及Red Carpet两个软件包管理器。在2005年，观察了其他的开源工具在当时的成熟度后，Novell公司觉得都不足以符合他们想要可以与已有的由Ximian公司及SUSE公司开发的Linux管理系统一起运作的要求，所以他们决定开发一个新的软件包管理器。Libzypp就是最后开发出来的函数库，目标是成为SUSE发行版的软件管理引擎，以及Novell ZENworks套装的Linux管理组件。

Libzypp的求解器是Red Carpet求解器的移植，其被编写用来在安装好的系统中升级软件包[7]。虽然第一版ZYpp的求解器与ZMD守护行程在企业产品上运行的很好，但它导致了2006年5月发布的openSUSE 10.1有系统软件包无法运作。2006年12月发布的openSUSE 10.2修正了先前版本的一些问题，并将ZYpp升级至第二版。ZMD则于10.3版中移除，只在企业版产品中保留。虽然在openSUSE中的ZYpp第三版是相对比较好的软件包管理器，但与其他软件包管理系统而言，它存在一些缺陷，从而限制了它的速度表现。

libzypp其中一个需要改进的地方是相依性求解器的速度。

像OPIUM项目[8][9]及MANCOOSI[10]这些尝试修复SAT求解器的一个相依性求解问题的项目。像是APT有时可能会出现一些无法接受的缺陷。基于计算复杂性理论的SAT求解器，与传统求解器，如APT的运作方式不同[11]。它决定将SAT算法集成到ZYpp堆栈中；其求解器是基于minisat求解器[12]。 在openSUSE 11.0中的SAT求解器是基于两个主要且独立的区块：

• 使用数据字典来保存及检查软件包的相依性信息。新的求解格式被创建，用来保存套件库作为字符串字典，关系字典以及所有软件包的相依性。读取及合并多个求解库只需要很短的时间。
• 使用可满足性来计算软件包相依性。布尔可满足性问题提供许多范例求解器，并已经过长久研究；它相当快，因为相较其他使用SAT求解器的领域来说，软件包相依性的复杂度较低。此外，它不需要复杂的算法，且在计算无法解决的问题时可以提供可理解的建议。

经过几个月的工作，集成了SAT求解器的第四版ZYpp在基准测试上取得了不错的成绩，让YaST及Zypper比其他基于RPM的软件包管理器相比起来有较佳的速度及占用空间[13][14]。