Binary: minisat

avahi-publish-service bmore ceph_radosacl kmk_printf plasmaengineexplorer latex2rtf lfc-mkdir mlpack_kernel_pca pawX11.dynamic-g77 dumpelf pilot-read-notepad supybot-adduser cssmin arm-linux-gnueabi-objcopy ha_logger cow x2sys_get r.lake mk_angndx_d hubicfuse msgconvert myloader whom foo2hbpl2 pyro-nsc qbiff ruby_parse vde_plug2tap setorigin wrap..exec