ZYpp (znany również jako libzypp) – silnik zarządzania pakietami wykorzystywany w takich aplikacjach, jak YaST, Zypper i PackageKit użyty w openSUSE i SUSE Linux Enterprise. Wykorzystuje algorytm spełnialności formuł do obliczania zależności oraz udostępnia wygodny interfejs programistyczny dla innych aplikacjiNa podst. oficjalnej strony.. Jest on darmowym programem z dostępnym kodem źródłowym, którego rozwój jest sponsorowany przez firmę Novell. Rozpowszechniany jest on w ramach licencji GNU General Public License v2 lub późniejszej.
Zypper jest podstawowym menedżerem pakietów zbudowanym na libzypp obsługiwanym z wiersza poleceń. Umożliwia on instalację, usuwanie, aktualizację i sprawdzanie pakietów. Jego graficznym odpowiednikiem jest YaST.
Algorytm spełnialności formuł Obszarem, który w przeszłości wymagał optymalizacji, był mechanizm rozwiązywania zależności. Projekty takie, jak OPIUM (Optimal Package Install/Uninstall Manager) próbowały poprawić kwestię wydajności poprzez zastosowanie algorytmów spełnialności formuł logicznych SAT. Algorytmy SAT bazują na wynikach teorii złożoności obliczeniowej, są dobrze zbadane i działają inaczej, niż w tradycyjnym podejściu stosowanym np. w Apt.