python-satsolver

python-satsolver

Python bindings for sat solver

Python bindings for sat solver.

openSUSE Leap 15.5 に対する公式のパッケージはありません

ディストリビューション

非公式のディストリビューション

下記のディストリビューションは、公式にはサポートされていないものです。これらのパッケージは自己責任でお使いください。