python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
Ei virallista pakettia saatavilla: openSUSE Leap 15.5Jakelut
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.