لـopenSUSE Tumbleweed شغل التالي كـ جذر:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/science.repo
zypper refresh
zypper install bitwuzla
لـopenSUSE Factory PowerPC شغل التالي كـ جذر:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/science.repo
zypper refresh
zypper install bitwuzla
لـ16.0 شغل التالي كـ جذر:
zypper addrepo https://download.opensuse.org/repositories/science/16.0/science.repo
zypper refresh
zypper install bitwuzla