Pre openSUSE Tumbleweed spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Tumbleweed/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre openSUSE Factory zSystems spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_zSystems/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre openSUSE Factory PowerPC spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_PowerPC/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre openSUSE Factory ARM spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_ARM/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre openSUSE 13.1 spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_13.1/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre 16.0 spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/16.0/devel:tools:statica.repo
zypper refresh
zypper install minisat
Pre 15.6 spustite ako root nasledujúce:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.6/devel:tools:statica.repo
zypper refresh
zypper install minisat