Binary: minisat+

aserver pfunct geany mtp11-hotplug xmdump mongo munin-node pnmnorm oldmge-shut pcl_compute_hull xrdadler32 bootlogd ceph_filestore_dump clementine-tagreader drbl-ocs list-unreleased mountro fosread htconfig d.path nnrpd-ssl mpirun.lam makeset ndo2db tel pnginfo readdvd sisu-html-seg twms wimslogd