minisat
There is no official package available for openSUSE Leap 16.0
배포판
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
SUSE SLE-15-SP1
미지원 배포판
The following distributions are not officially supported. Use these packages at your own risk.