minisat
No hay ningún paquete oficial disponible para openSUSE Leap 16.0
Distribuciones
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
SUSE SLE-15-SP1
Distribuciones sin soporte
Las siguientes distribuciones no tienen soporte oficial. Use estos paquetes por su cuenta y riesgo.