python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
There is no official package available for openSUSE Leap 15.5التوزيعات
توزيعات غير مدعومة
التوزيعات التالية غير معتمدة رسميًا. استخدم هذه الحزم على مسؤوليتك الخاصة.