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