Binary: minisat+

abrt-gui beakerlib-lsb_release bfin-linux-gnu-nm ld gtk-window-decorator condor_vacate_job dzen2 euca-release-address md5Digest yexpand-gfortran tcpconnect alltray rasrvstats clear_console m68hc11-objcopy groupwise_init freefoam-uncoupledKinematicParcel trans.o arm-none-eabi-gcc-nm jumbo6 uno-skeletonmaker.bin litl_merge llvm-objdump-3.4 mia-raw2image whom phenny pkgkde-git kar.2 modstat zypper