python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
Δεν υπάρχει επίσημο διαθέσιμο πακέτο για openSUSE Leap 15.5Διανομές
Μη υποστηριζόμενες διανομές
Οι παρακάτω διανομές δεν υποστηρίζονται επίσημα. Χρησιμοποιήστε αυτά τα πακέτα με δικιά σας ευθύνη.