Binary: minisat

Debian packages that has this binary:

Package: minisat

/usr/bin/minisat

Random binary cloud:

tcppm ifnames-2.13 autoreconf gdb-add-index g_cluster_d mmg3d4 pnmtosir genmipmap-errors glx-oml-sync-control-waitformsc shortrpm modula3_count rscreen lockmail.courier cpgplot gaffitter gjay gnome-system-log-pkexec xpidlyacc.py ipcheck.py yahooquote lxlock mh_installjar gendir otrs.FillDB.pl decomment pms swift-init rhnsd xfce4-pm-helper yagi