Для openSUSE Tumbleweed запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Tumbleweed/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для openSUSE Factory zSystems запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_zSystems/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для openSUSE Factory PowerPC запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_PowerPC/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для openSUSE Factory ARM запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_ARM/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для openSUSE 13.1 запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_13.1/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для 16.0 запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/16.0/devel:tools:statica.repo
zypper refresh
zypper install minisat
Для 15.6 запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.6/devel:tools:statica.repo
zypper refresh
zypper install minisat