Binary: minisat+

Debian packages that has this binary:

Package: minisat+

/usr/bin/minisat+

Random binary cloud:

bcopy.mysql db2x_xsltproc FBReader d.mapgraph d.mon grodvi vp8cx_set_ref gacutil pnmtofiasco ofxdump vertexid-drawelements plotrho.x wbemcmx dvilj4l PerseusD bpqparms isotpserver gps2udp gcc-4.5 ikisite-wrapper tmx2html mothur whau.wav pcl_openni_organized_compression kitsch python2.7 qtrechunk raxmlHPC-PTHREADS umax_pp variant_comp