python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
Non hai ningún paquete oficial dispoñíbel para openSUSE Leap 15.5Distribucións
Distribucións non compatíbeis
As seguintes distribucións non teñen mantemento oficial. Use estes paquetes pola súa conta e risco.