yices from home:geewass:pharos project

Select Your Operating System

For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:geewass:pharos/openSUSE_Tumbleweed/home:geewass:pharos.repo
zypper refresh
zypper install yices
For openSUSE Leap 15.2 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:geewass:pharos/openSUSE_Leap_15.2/home:geewass:pharos.repo
zypper refresh
zypper install yices

Packages for openSUSE Tumbleweed:

Packages for openSUSE Leap 15.2: