python-satsolver

Python bindings for sat solver

Python bindings for sat solver.

openSUSE Leap 15.5 हेतु कोई आधिकारिक पैकेज उपलब्ध नहीं है

वितरण

असमर्थित वितरण

निम्नलिखित वितरण आधिकारिक रूप से समर्थित नहीं हैं। इन पैकेज के उपयोग/प्रभाव का उत्तरदायित्व आप पर है।