Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

ceph-run glite-lb-logd mp4info runscript hydra_nameserver arched horde-clear-cache glsl-fs-textureenvcolor-statechange pbm2ppa scotch_dgord ptaskset stun-client xpbs_scriptload rahistogram ld.bfd nm catof pcb_backannotate gmtlegs g.pnmcomp gunbatch PTmender uncompress.real pspp-dump-sav maildir2mbox compute_member ch_track cram_index starpu_calibrate_bus videocut