perl-satsolver
Perl bindings for sat solver
Perl bindings for sat solver.
Для openSUSE Leap 15.5 відсутній офіційний пакунокДистрибутиви
Непідтримувані дистрибутиви
Наступні дистрибутиви офіційно не підтримуються. Використовуйте ці пакунки на власний ризик.