perl-satsolver
Perl bindings for sat solver
Perl bindings for sat solver.
Es ist kein offizielles Paket für openSUSE Leap 15.5 verfügbarDistributionen
Nicht unterstützte Distributionen
Die folgenden Distributionen werden offiziell nicht unterstützt. Benutzen Sie diese Pakete auf eigene Gefahr.