Binary: minisat+

Debian packages that has this binary:

Package: minisat+

/usr/bin/minisat+

Random binary cloud:

dpkg-query r.out.vrml faxconfig ksu ar camlp4orf.opt valgrind-listener iwspy blaze-list convertlinks hide_reveal_pxe_img pepcoil fwbedit PTBatcherGUI kamctl ktremotetest stag-autoschema idevicediagnostics rdoc mate-services-admin-pkexec pma-configure pybtex-convert python2.7-config qtconfig zrancid sisu super luajittex fixpix vdr-sxfe