z3 from home:mcepl project
Επιλογή λειτουργικού συστήματος
Προσθήκη αποθετηρίου και εγκατάσταση με το χέρι
Εκτελέστε το openSUSE Tumbleweed ως χρήστης root:
zypper addrepo https://download.opensuse.org/repositories/home:mcepl/openSUSE_Tumbleweed/home:mcepl.repo zypper refresh zypper install z3
Εκτελέστε το 16.0 ως χρήστης root:
zypper addrepo https://download.opensuse.org/repositories/home:mcepl/16.0/home:mcepl.repo zypper refresh zypper install z3