Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

alpha-linux-gnu-ld.bfd dpkg-parsechangelog eric4-configure jack_midi_dump mtp11-albumart qmlmin-qt5 mailq.sendmail smoltSendProfile printjob ipcs uuidgen x2goclient config-parser .htaccess amd-fsinfo cairo-perf-compare-backends kermrc coqtop.opt cvs2git debdelta-upgrade d-feet katod fwb_ipt gresolver tracesummary list_lists pybliotext fstail xineplayer apache-config