perl-satsolver
Perl bindings for sat solver
Perl bindings for sat solver.
openSUSE Leap 15.5 हेतु कोई आधिकारिक पैकेज उपलब्ध नहीं हैवितरण
असमर्थित वितरण
निम्नलिखित वितरण आधिकारिक रूप से समर्थित नहीं हैं। इन पैकेज के उपयोग/प्रभाव का उत्तरदायित्व आप पर है।