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]。