python-satsolver
Python bindings for sat solver
Python bindings for sat solver.
Для openSUSE Leap 15.5 нет официального пакетаДистрибутивы
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.