python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
Nėra oficialių „openSUSE Leap 15.5“ paketųPlatinamieji paketai
Nepalaikomos platinamųjų paketų versijos
Šie platinamieji paketai nėra oficialiai palaikomi. Už šių paketų naudojimą atsakomybę turėtumėte prisiimti patys.