Can you summarize the following document?
        
  

  在2003年連續收購了Ximian公司及SUSE公司後,Novell決定要合併YaST及Red Carpet兩個軟體包管理器。在2005年,觀察了其他的開源工具在當時的成熟度後,Novell公司覺得都不足以符合他們想要可以與已有的由Ximian公司及SUSE公司開發的Linux管理系統一起運作的要求,所以他們決定開發一個新的軟體包管理器。Libzypp就是最後開發出來的函式庫,目標是成為SUSE發行版的軟體管理引擎,以及Novell ZENworks套裝的Linux管理元件。

  Libzypp的求解器是Red Carpet求解器的移植,其被編寫用來在安裝好的系統中升級軟體包。雖然第一版ZYpp的求解器與ZMD守護行程在企業產品上執行的很好,但它導致了2006年5月釋出的openSUSE 10.1有系統軟體包無法運作。2006年12月釋出的openSUSE 10.2修正了先前版本的一些問題,並將ZYpp升級至第二版。ZMD則於10.3版中移除,只在企業版產品中保留。雖然在openSUSE中的ZYpp第三版是相對比較好的軟體包管理器,但與其他軟體包管理系統而言,它存在一些缺陷,從而限制了它的速度表現。

  libzypp其中一個需要改進的地方是相依性求解器的速度。  像OPIUM專案及MANCOOSI這些嘗試修復SAT求解器的一個相依性求解問題的專案。像是APT有時可能會出現一些無法接受的缺陷。基於計算複雜性理論的SAT求解器,與傳統求解器,如APT的運作方式不同。它決定將SAT演算法整合到ZYpp堆疊中;其求解器是基於minisat求解器。 在openSUSE 11.0中的SAT求解器是基於兩個主要且獨立的區塊:  經過幾個月的工作,整合了SAT求解器的第四版ZYpp在基準測試上取得了不錯的成績,讓YaST及Zypper比其他基於RPM的軟體包管理器相比起來有較佳的速度及佔用空間。
ZYpp (或稱libzypp) 是一個軟體包管理引擎,通常在openSUSE/SUSE以YaST、Zypper或PackageKit為前端使用。它提供一個強力的可滿足性求解器來計算軟體包相依性,也提供了一組方便的軟體包管理API。它是一個由Novell所贊助的開放原始碼且為自由軟體的專案,採用GNU通用公共許可證第二版或更新授權。