libminizinc from openSUSE:Factory project
Seleccioneu el sistema operatiu
Afegiu el repositori i instal·leu-lo manualment
Per a standard executeu el següent com a root:
zypper addrepo https://download.opensuse.org/repositories/openSUSE:Factory/standard/openSUSE:Factory.repo zypper refresh zypper install libminizinc