Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

beanstalkd annotateBed fc-query gawk xmdump3 nsd-checkconf pcreate fd_ef.x_openmpi sane-config spacewalk-pylint squidGuard ASFileBrowser nice esekeyd fastq_masker katof gbrowse_create_account java git-obliterate gpiv_sca2gri mbim-network yuvplay wsgen vebegin pegasus-create-dir pegasus-plan sphinx_jsgf2fsg systemd SpecLibSearcher twoftpd-xfer