Binary: mace4

Debian packages that has this binary:

Package: prover9

/usr/bin/mace4

Random binary cloud:

zcav chown crudini gcalctool i.ifft h5fc-32 ldns-keygen asmerge claw-config lxc-top yedit qpidd voms-proxy-list aefp rbash compalign yyref exfalso freefoam-solverSweeps db.columns r.bitpattern gri icepatch2calc file2sdr kwalletcli mixasm foo2qpdl-wrapper qmp3cut setclasspath.sh DBImporter