Binary: minisat

Debian packages that has this binary:

Package: minisat

/usr/bin/minisat

Random binary cloud:

ecryptfs-umount-private jack_netsource kuiserver kfmclient clog2TOslog2 semver plowlist bands.x_mpich saoimage isdv4-serial-debugger atmtcp h8300-hitachi-coff-as bowtie-inspect-l-debug ceph_test_cls_refcount clamav-milter dumpasn1 ecasound efte m68hc11-cpp gforth gr_plot_float gpiv_manipiv waitfor osmfilter pkgtools obex_send adjust_seq_orientation.py aida2flat twoftpd-anon-conf date@